Searched refs:evtchn (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/main/include/vki/
H A Dvki-xen.h84 #include <vki/vki-xen-evtchn.h>
/external/valgrind/main/coregrind/m_syswrap/
H A Dsyswrap-xen.c337 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; local
339 ARG1, sizeof(*evtchn));
342 evtchn->cmd, &evtchn->u, 1);
963 struct vki_xen_evtchn_op *evtchn = (struct vki_xen_evtchn_op *)ARG1; local
964 post_evtchn_op(tid, evtchn->cmd, &evtchn->u, 1);

Completed in 287 milliseconds