- 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, /* Halt the operating system. */
+ SYS_EXIT, /* Terminate this process. */
+ SYS_EXEC, /* Start another process. */
+ SYS_WAIT, /* Wait for a child process to die. */
+ SYS_CREATE, /* Create a file. */
+ SYS_REMOVE, /* Delete a file. */
+ SYS_OPEN, /* Open a file. */
+ SYS_FILESIZE, /* Obtain a file's size. */
+ SYS_READ, /* Read from a file. */
+ SYS_WRITE, /* Write to a file. */
+ SYS_SEEK, /* Change position in a file. */
+ SYS_TELL, /* Report current position in a file. */
+ SYS_CLOSE, /* Close a file. */