Searched defs:evtchn (Results 1 – 1 of 1) sorted by relevance
458 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; in PRE() local1582 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; in POST() local