PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include "userprog/syscall.h"
#include <stdio.h>
#include <syscall-nr.h>
#include "threads/interrupt.h"
#include "threads/thread.h"
Go to the source code of this file.
Functions | |
static void | syscall_handler (struct intr_frame *) |
void | syscall_init (void) |
userprog/syscall.h More... | |
static void | syscall_handler (struct intr_frame *f UNUSED) |
|
static |
|
static |
Definition at line 16 of file syscall.c.
References printf(), and thread_exit().
void syscall_init | ( | void | ) |
Definition at line 10 of file syscall.c.
References INTR_ON, intr_register_int(), and syscall_handler().
Referenced by pintos_init().