options           255 kern/fs/sfs/sfs_fs.c sfs_domount(void *options, struct device *dev, struct fs **ret)
options           263 kern/fs/sfs/sfs_fs.c 	(void)options;
options            65 kern/include/syscall.h int sys_waitpid(pid_t pid, userptr_t status, int options, pid_t *retval);
options            67 kern/syscall/proc_syscalls.c 	    int options,
options            82 kern/syscall/proc_syscalls.c   if (options != 0) {