Searched refs:vki_xen_evtchn_op (Results 1 – 2 of 2) sorted by relevance
53 struct vki_xen_evtchn_op { struct
458 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; in PRE()1582 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; in POST()