Redo makefiles.
[pintos-anon] / src / userprog / syscall.c
1 #include "syscall.h"
2 #include "lib/lib.h"
3 #include "threads/interrupt.h"
4 #include "threads/thread.h"
5
6 static void syscall_handler (struct intr_frame *);
7
8 void
9 syscall_init (void) 
10 {
11   intr_register (0x30, 3, INTR_ON, syscall_handler, "syscall");
12 }
13
14 static void
15 syscall_handler (struct intr_frame *f) 
16 {
17   printk ("system call!\n");
18   thread_exit ();
19 }