Rename printk() to printf().
[pintos-anon] / src / lib / syscall-nr.h
1 #ifndef LIB_SYSCALL_NR_H
2 #define LIB_SYSCALL_NR_H 1
3
4 /* System call numbers. */
5 #define SYS_halt 0              /* Halts the operating system. */
6 #define SYS_exit 1              /* Terminates this process. */
7 #define SYS_exec 2              /* Start another process. */
8 #define SYS_join 3              /* Waits for a child process to die. */
9 #define SYS_create 4            /* Creates a file. */
10 #define SYS_remove 5            /* Deletes a file. */
11 #define SYS_open 6              /* Opens a file. */
12 #define SYS_read 7              /* Reads from a file. */
13 #define SYS_write 8             /* Writes to a file. */
14 #define SYS_close 9             /* Closes a file. */
15 #define SYS_length 10           /* Obtains a file's size. */
16 #define SYS_mmap 11             /* Maps a file into memory. */
17 #define SYS_munmap 12           /* Removes a memory mapping. */
18
19 /* Predefined file handles. */
20 #define STDIN_FILENO 0
21 #define STDOUT_FILENO 1
22
23 #endif /* lib/syscall-nr.h */