pub type xen_domain_handle_t = [u8; 16];