Searched refs:vki_xen_machphys_mfn_list (Results 1 – 2 of 2) sorted by relevance
72 struct vki_xen_machphys_mfn_list { struct
129 struct vki_xen_machphys_mfn_list *arg = in PRE()130 (struct vki_xen_machphys_mfn_list *)ARG2; in PRE()1354 struct vki_xen_machphys_mfn_list *arg = in POST()1355 (struct vki_xen_machphys_mfn_list *)ARG2; in POST()