Searched refs:evtchn (Results 1 – 4 of 4) sorted by relevance
458 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; in PRE() local460 ARG1, sizeof(*evtchn)); in PRE()463 evtchn->cmd, &evtchn->u, 1); in PRE()1582 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; in POST() local1583 post_evtchn_op(tid, evtchn->cmd, &evtchn->u, 1); in POST()
84 vki/vki-xen-evtchn.h \
428 vki/vki-xen-evtchn.h \
10743 xen/evtchn.h files.