···2424int os_printf(const char *format, ...);
25252626/**
2727- * Access to the OS read() system call
2727+ * os_read() - access the OS read() system call
2828 *
2929 * @fd: File descriptor as returned by os_open()
3030 * @buf: Buffer to place data
···3434ssize_t os_read(int fd, void *buf, size_t count);
35353636/**
3737- * Access to the OS write() system call
3737+ * os_write() - access the OS write() system call
3838 *
3939 * @fd: File descriptor as returned by os_open()
4040 * @buf: Buffer containing data to write
···4444ssize_t os_write(int fd, const void *buf, size_t count);
45454646/**
4747- * Access to the OS lseek() system call
4747+ * os_lseek() - access the OS lseek() system call
4848 *
4949 * @fd: File descriptor as returned by os_open()
5050 * @offset: File offset (based on whence)
···6767off_t os_filesize(int fd);
68686969/**
7070- * Access to the OS open() system call
7070+ * os_open() - access the OS open() system call
7171 *
7272 * @pathname: Pathname of file to open
7373 * @flags: Flags, like OS_O_RDONLY, OS_O_RDWR
···162162void os_tty_raw(int fd, bool allow_sigs);
163163164164/**
165165- * os_fs_restore() - restore the tty to its original mode
165165+ * os_fd_restore() - restore the tty to its original mode
166166 *
167167 * Call this to restore the original terminal mode, after it has been changed
168168 * by os_tty_raw(). This is an internal function.
···207207void os_usleep(unsigned long usec);
208208209209/**
210210- * Gets a monotonic increasing number of nano seconds from the OS
210210+ * os_get_nsec() - get monotonically increasing number of nano seconds from OS
211211 *
212212- * Return: a monotonic increasing time scaled in nano seconds
212212+ * Return: a monotoniccally increasing time scaled in nano seconds
213213 */
214214uint64_t os_get_nsec(void);
215215216216/**
217217- * Parse arguments and update sandbox state.
217217+ * os_parse_args() - parse arguments and update sandbox state.
218218 *
219219 * @state: sandbox state to update
220220 * @argc: argument count