void
syscall_init (void)
{
- intr_register (0x30, 3, INTR_ON, syscall_handler, "syscall");
+ intr_register_int (0x30, 3, INTR_ON, syscall_handler, "syscall");
}
static void
-syscall_handler (struct intr_frame *f)
+syscall_handler (struct intr_frame *f UNUSED)
{
printf ("system call!\n");
thread_exit ();