pub unsafe extern "C" fn u_write_hostbuf_ocall(
    result: *mut ssize_t,
    errno: *mut c_int,
    host_buf: *const c_void,
    encl_buf: *mut c_void,
    count: size_t
) -> SgxStatus