Searched refs:vki_xen_mem_event_op (Results 1 – 2 of 2) sorted by relevance
70 struct vki_xen_mem_event_op { struct
205 struct vki_xen_mem_event_op *arg = in PRE()206 (struct vki_xen_mem_event_op *)ARG2; in PRE()