Searched refs:assign_device_0000000b (Results 1 - 2 of 2) sorted by relevance
/external/valgrind/coregrind/m_syswrap/ |
H A D | syswrap-xen.c | 825 __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 D | vki-xen-domctl.h | 619 struct vki_xen_domctl_assign_device_0000000b assign_device_0000000b; member in union:vki_xen_domctl::__anon25146
|
Completed in 396 milliseconds