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()1511 struct vki_xen_add_to_physmap *arg = in POST()1512 (struct vki_xen_add_to_physmap *)ARG2; in POST()