Function kernel::libc_helpers::write

pub extern fn write(_fd: c_int, _buf: *const c_void, _count: size_t) -> ssize_t