Searched refs:vki_xen_foreign_memory_map (Results 1 – 2 of 2) sorted by relevance
31 struct vki_xen_foreign_memory_map { struct
116 struct vki_xen_foreign_memory_map *arg = in PRE()117 (struct vki_xen_foreign_memory_map *)ARG2; in PRE()