From b4fd490d689415205cf315c02f673b9386ece337 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Fri, 15 Oct 2010 17:51:37 -0700 Subject: [pk, sim] added FPU emulation support to proxy kernel --- pk/syscall.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pk/syscall.c') diff --git a/pk/syscall.c b/pk/syscall.c index 93ff12a..790f32d 100644 --- a/pk/syscall.c +++ b/pk/syscall.c @@ -124,6 +124,6 @@ void handle_syscall(trapframe_t* tf) //printk("syscall %d (%x,%x,%x,%x) from %x == %d\n",n,tf->gpr[4],tf->gpr[5],tf->gpr[6],tf->gpr[7],tf->gpr[31],tf->gpr[2]); - tf->epc += 4; + advance_pc(tf); pop_tf(tf); } -- cgit v1.1