pub unsafe extern "C" fn u_write_hostbuf_ocall( result: *mut isize, errno: *mut i32, host_buf: *const c_void, encl_buf: *mut c_void, count: usize) -> SgxStatus