pub unsafe extern "C" fn xc_hypercall_buffer_array_destroy(
xc: *mut xc_interface,
array: *mut xc_hypercall_buffer_array_t,
)pub unsafe extern "C" fn xc_hypercall_buffer_array_destroy(
xc: *mut xc_interface,
array: *mut xc_hypercall_buffer_array_t,
)