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

/external/valgrind/coregrind/m_syswrap/
H A Dsyswrap-xen.c825 __PRE_XEN_DOMCTL_READ(test_assign_device, assign_device_0000000b, dev);
826 __PRE_XEN_DOMCTL_READ(test_assign_device, assign_device_0000000b, flag);
827 switch (domctl->u.assign_device_0000000b.dev) {
829 __PRE_XEN_DOMCTL_READ(test_assign_device, assign_device_0000000b, u.pci);
832 __PRE_XEN_DOMCTL_READ(test_assign_device, assign_device_0000000b, u.dt);
834 (Addr)domctl->u.assign_device_0000000b.u.dt.path.p,
835 domctl->u.assign_device_0000000b.u.dt.size);
840 domctl->u.assign_device_0000000b.dev);
855 __PRE_XEN_DOMCTL_READ(assign_device, assign_device_0000000b, dev);
856 __PRE_XEN_DOMCTL_READ(assign_device, assign_device_0000000b, fla
[all...]
/external/valgrind/include/vki/
H A Dvki-xen-domctl.h619 struct vki_xen_domctl_assign_device_0000000b assign_device_0000000b; member in union:vki_xen_domctl::__anon25146

Completed in 51 milliseconds