- SYS_halt, /* Halts the operating system. */
- SYS_exit, /* Terminates this process. */
- SYS_exec, /* Start another process. */
- SYS_wait, /* Waits for a child process to die. */
- SYS_create, /* Creates a file. */
- SYS_remove, /* Deletes a file. */
- SYS_open, /* Opens a file. */
- SYS_filesize, /* Obtains a file's size. */
- SYS_read, /* Reads from a file. */
- SYS_write, /* Writes to a file. */
- SYS_seek, /* Change position in a file. */
- SYS_tell, /* Report current position in a file. */
- SYS_close, /* Closes a file. */
+ SYS_HALT, /* Halts the operating system. */
+ SYS_EXIT, /* Terminates this process. */
+ SYS_EXEC, /* Start another process. */
+ SYS_WAIT, /* Waits for a child process to die. */
+ SYS_CREATE, /* Creates a file. */
+ SYS_REMOVE, /* Deletes a file. */
+ SYS_OPEN, /* Opens a file. */
+ SYS_FILESIZE, /* Obtains a file's size. */
+ SYS_READ, /* Reads from a file. */
+ SYS_WRITE, /* Writes to a file. */
+ SYS_SEEK, /* Change position in a file. */
+ SYS_TELL, /* Report current position in a file. */
+ SYS_CLOSE, /* Closes a file. */