Searched refs:vki_xen_memory_map (Results 1 – 2 of 2) sorted by relevance
54 struct vki_xen_memory_map { struct61 struct vki_xen_memory_map map; argument
150 struct vki_xen_memory_map *arg = in PRE()151 (struct vki_xen_memory_map *)ARG2; in PRE()1502 struct vki_xen_memory_map *arg = in POST()1503 (struct vki_xen_memory_map *)ARG2; in POST()