3 #include "threads/interrupt.h"
4 #include "threads/thread.h"
6 static void syscall_handler (struct intr_frame *);
11 intr_register (0x30, 3, INTR_ON, syscall_handler, "syscall");
15 syscall_handler (struct intr_frame *f)
17 printk ("system call!\n");