Type Definition xen_sys::__guest_handle_const_uint64

pub type __guest_handle_const_uint64 = *const u64;