Searched refs:evtchn (Results 1 – 2 of 2) sorted by relevance
348 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; in PRE() local350 ARG1, sizeof(*evtchn)); in PRE()353 evtchn->cmd, &evtchn->u, 1); in PRE()1043 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; in POST() local1044 post_evtchn_op(tid, evtchn->cmd, &evtchn->u, 1); in POST()
79 vki/vki-xen-evtchn.h \