pub type __guest_handle_xen_pfn_t = *mut xen_pfn_t;