vfs_sync           65 kern/include/vfs.h int vfs_sync(void);
vfs_sync          185 kern/lib/kprintf.c 		vfs_sync();
vfs_sync          257 kern/startup/menu.c 	vfs_sync();
vfs_sync          286 kern/startup/menu.c 	vfs_sync();