blob: aa0365d41a4457a7c1709d76c831b5793644c9ed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
/* The 15-410 reference kernel.
* syscall_int.h
*
* Prototypes for assembly language wrappers for the
* system call interface.
*
* Adam Chlipala (adamc)
* Jorge Vittes (jvittes)
* Zachary Anderson (zra)
*/
#ifndef _SYSCALL_INT_H
#define _SYSCALL_INT_H
#define FORK_INT 0x41
#define EXEC_INT 0x42
/* #define EXIT_INT 0x43 */
#define WAIT_INT 0x44
#define YIELD_INT 0x45
#define DESCHEDULE_INT 0x46
#define MAKE_RUNNABLE_INT 0x47
#define GETTID_INT 0x48
#define NEW_PAGES_INT 0x49
#define REMOVE_PAGES_INT 0x4A
#define SLEEP_INT 0x4B
#define GETCHAR_INT 0x4C
#define READLINE_INT 0x4D
#define PRINT_INT 0x4E
#define SET_TERM_COLOR_INT 0x4F
#define SET_CURSOR_POS_INT 0x50
#define GET_CURSOR_POS_INT 0x51
#define THREAD_FORK_INT 0x52
#define GET_TICKS_INT 0x53
#define MISBEHAVE_INT 0x54
#define HALT_INT 0x55
/* #define LS_INT 0x56 */
#define TASK_VANISH_INT 0x57 /* previously known as TASK_EXIT_INT */
#define NEW_CONSOLE_INT 0x58
#define SET_STATUS_INT 0x59
#define VANISH_INT 0x60
/* #define CAS2I_RUNFLAG_INT 0x61 */
#define READFILE_INT 0x62
#define SWEXN_INT 0x74
/* The syscalls in here, INCLUSIVE, are promised not to be
* probed by any grading scripts; as such you are welcome
* to extend the spec by making use of these syscall numbers
*/
#define SYSCALL_RESERVED_START 0x80
#define SYSCALL_RESERVED_0 0x80
#define SYSCALL_RESERVED_1 0x81
#define SYSCALL_RESERVED_2 0x82
#define SYSCALL_RESERVED_3 0x83
#define SYSCALL_RESERVED_4 0x84
#define SYSCALL_RESERVED_5 0x85
#define SYSCALL_RESERVED_6 0x86
#define SYSCALL_RESERVED_7 0x87
#define SYSCALL_RESERVED_8 0x88
#define SYSCALL_RESERVED_9 0x89
#define SYSCALL_RESERVED_10 0x8A
#define SYSCALL_RESERVED_11 0x8B
#define SYSCALL_RESERVED_12 0x8C
#define SYSCALL_RESERVED_13 0x8D
#define SYSCALL_RESERVED_14 0x8E
#define SYSCALL_RESERVED_15 0x8F
#define SYSCALL_RESERVED_END 0x8F
#endif /* _SYSCALL_INT_H */
|
