Home
last modified time | relevance | path

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

/external/valgrind/include/vki/
Dvki-linux.h3318 _VKI_IOC(_VKI_IOC_NONE, 'E', 1, sizeof(struct vki_xen_ioctl_evtchn_bind_interdomain))
3319 struct vki_xen_ioctl_evtchn_bind_interdomain { struct
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-linux.c7348 struct vki_xen_ioctl_evtchn_bind_interdomain *args = in PRE()
7349 (struct vki_xen_ioctl_evtchn_bind_interdomain *)(ARG3); in PRE()