#[no_mangle] pub unsafe extern "C" fn u_sgxfs_flush_ocall( error: *mut c_int, file: *mut c_void) -> c_int