Searched defs:vki_xen_domctl_address_size (Results 1 – 1 of 1) sorted by relevance
424 struct vki_xen_domctl_address_size { struct425 vki_uint32_t size;