PKUOS - Pintos
Pintos source browser for PKU Operating System course
syscall.h
Go to the documentation of this file.
1#ifndef USERPROG_SYSCALL_H
2#define USERPROG_SYSCALL_H
3
4void syscall_init (void);
5
6#endif /**< userprog/syscall.h */
syscall_init
void syscall_init(void)
userprog/syscall.h
Definition: syscall.c:10
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by doxygen 1.9.2