-#include "syscall.h"
-#include "lib.h"
-#include "interrupt.h"
-#include "thread.h"
+#include "userprog/syscall.h"
+#include <stdio.h>
+#include <syscall-nr.h>
+#include "threads/interrupt.h"
+#include "threads/thread.h"
static void syscall_handler (struct intr_frame *);
}
static void
-syscall_handler (struct intr_frame *f)
+syscall_handler (struct intr_frame *f UNUSED)
{
- printk ("system call!\n");
+ printf ("system call!\n");
thread_exit ();
}