Searched refs:vki_xen_mem_event_op (Results 1 – 2 of 2) sorted by relevance
98 struct vki_xen_mem_event_op { struct
238 struct vki_xen_mem_event_op *arg = in PRE()239 (struct vki_xen_mem_event_op *)ARG2; in PRE()