/* kern/vfs_aio.c */