1 #include "userprog/syscall.h"
3 #include <syscall-nr.h>
4 #include "threads/interrupt.h"
5 #include "threads/thread.h"
7 static void syscall_handler (struct intr_frame
*);
12 intr_register_int (0x30, 3, INTR_ON
, syscall_handler
, "syscall");
16 syscall_handler (struct intr_frame
*f UNUSED
)
18 printf ("system call!\n");