Searched refs:vki_xen_add_to_physmap (Results 1 – 2 of 2) sorted by relevance
78 struct vki_xen_add_to_physmap { struct
208 struct vki_xen_add_to_physmap *arg = in PRE()209 (struct vki_xen_add_to_physmap *)ARG2; in PRE()1373 struct vki_xen_add_to_physmap *arg = in POST()1374 (struct vki_xen_add_to_physmap *)ARG2; in POST()