Pintos: pintos/src/userprog/syscall.c Source File

00001 #include "userprog/syscall.h"
00002 //101516485726688
00003 #include <stdio.h>
00004 #include <syscall-nr.h>
00005 #include "threads/interrupt.h"
00006 #include "threads/thread.h"
00007 
00008 static void syscall_handler (struct intr_frame *);
00009 
00010 void
00011 syscall_init (void) 
00012 {
00013   intr_register_int (0x30, 3, INTR_ON, syscall_handler, "syscall");
00014 }
00015 
00016 static void
00017 syscall_handler (struct intr_frame *f UNUSED) 
00018 {
00019   printf ("system call!\n");
00020   thread_exit ();
00021 }