src/kernel/virtfs.nsh

/* virtfs's one public function -- see virtfs.nsc. */
i32 virtfs_read(u64 parent_lba, ptr name, u64 name_len, ptr buf);