pintos/src/userprog/syscall.h File Reference

Go to the source code of this file.

Functions
void	syscall_init (void)

---

Function Documentation

void syscall_init

(

void

)

Definition at line 11 of file syscall.c.

References INTR_ON, intr_register_int(), and syscall_handler().

Referenced by main().