X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fsyscall.c;h=370c89b10f90501a4684c604ddbff9503481cf7a;hb=fd2a5afa946474ba0839de0e9da238dbaecbd6a5;hp=7f758c617d8089fd664cafba0d7973ae9ccc5e57;hpb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;p=pintos-anon

diff --git a/src/userprog/syscall.c b/src/userprog/syscall.c
index 7f758c6..370c89b 100644
--- a/src/userprog/syscall.c
+++ b/src/userprog/syscall.c
@@ -9,11 +9,11 @@ static void syscall_handler (struct intr_frame *);
 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 ();