Type Definition xen_sys::__guest_handle_const_uint32

pub type __guest_handle_const_uint32 = *const u32;