Searched refs:assign_device_0000000b (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/coregrind/m_syswrap/ |
| D | syswrap-xen.c | 825 __PRE_XEN_DOMCTL_READ(test_assign_device, assign_device_0000000b, dev); in PRE()
826 __PRE_XEN_DOMCTL_READ(test_assign_device, assign_device_0000000b, flag); in PRE()
827 switch (domctl->u.assign_device_0000000b.dev) { in PRE()
829 __PRE_XEN_DOMCTL_READ(test_assign_device, assign_device_0000000b, u.pci); in PRE()
832 __PRE_XEN_DOMCTL_READ(test_assign_device, assign_device_0000000b, u.dt); in PRE()
834 (Addr)domctl->u.assign_device_0000000b.u.dt.path.p, in PRE()
835 domctl->u.assign_device_0000000b.u.dt.size); in PRE()
840 domctl->u.assign_device_0000000b.dev); in PRE()
855 __PRE_XEN_DOMCTL_READ(assign_device, assign_device_0000000b, dev); in PRE()
856 __PRE_XEN_DOMCTL_READ(assign_device, assign_device_0000000b, flag); in PRE()
[all …]
|
| /external/valgrind/include/vki/ |
| D | vki-xen-domctl.h | 619 struct vki_xen_domctl_assign_device_0000000b assign_device_0000000b; member
|