Searched refs:vki_xen_remove_from_physmap (Results 1 – 2 of 2) sorted by relevance
93 struct vki_xen_remove_from_physmap { struct
224 struct vki_xen_remove_from_physmap *arg = in PRE()225 (struct vki_xen_remove_from_physmap *)ARG2; in PRE()