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.h3301 _VKI_IOC(_VKI_IOC_NONE, 'E', 1, sizeof(struct vki_xen_ioctl_evtchn_bind_interdomain))
3302 struct vki_xen_ioctl_evtchn_bind_interdomain { struct
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-linux.c7297 struct vki_xen_ioctl_evtchn_bind_interdomain *args = in PRE()
7298 (struct vki_xen_ioctl_evtchn_bind_interdomain *)(ARG3); in PRE()