pub unsafe extern "C" fn syscall_read( fd: u32, read_buf: *mut u8, nbytes: usize, )
Reads the bytes from the given file descriptor into the given buffer.