Home
last modified time | relevance | path

Searched refs:vki_xen_ioctl_evtchn_bind_virq (Results 1 – 2 of 2) sorted by relevance

/external/valgrind/include/vki/
Dvki-linux.h3294 _VKI_IOC(_VKI_IOC_NONE, 'E', 0, sizeof(struct vki_xen_ioctl_evtchn_bind_virq))
3295 struct vki_xen_ioctl_evtchn_bind_virq { struct
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-linux.c7290 struct vki_xen_ioctl_evtchn_bind_virq *args = in PRE()
7291 (struct vki_xen_ioctl_evtchn_bind_virq *)(ARG3); in PRE()