os_write_file
return os_write_file(fd, buf, size);
err = os_write_file(state->fd, kbuf, count);
os_write_file(fd, NO_WAITER_MSG, sizeof(NO_WAITER_MSG));
ret = os_write_file(thread_fd, &io_req, sizeof(io_req));
res = os_write_file(kernel_fd,
rc = os_write_file(info->kick_fd, &n, sizeof(n));
extern int os_write_file(int fd, const void *buf, int count);
EXPORT_SYMBOL(os_write_file);
os_write_file(physmem_fd, __syscall_stub_start, PAGE_SIZE);
os_write_file(time_travel_ext_fd, &resp, sizeof(resp));
os_write_file(time_travel_ext_fd, &msg, sizeof(msg));