Searched refs:device_t (Results 1 – 6 of 6) sorted by relevance
| /xen/xen/include/xen/ |
| A D | iommu.h | 240 int (*add_device)(u8 devfn, device_t *dev);
241 int (*enable_device)(device_t *dev);
242 int (*remove_device)(u8 devfn, device_t *dev);
243 int (*assign_device)(struct domain *, u8 devfn, device_t *dev, u32 flag);
245 u8 devfn, device_t *dev);
299 int (*dt_xlate)(device_t *dev, const struct dt_phandle_args *args);
|
| /xen/xen/include/asm-x86/ |
| A D | device.h | 11 typedef struct pci_dev device_t; typedef
|
| /xen/xen/include/asm-arm/ |
| A D | device.h | 24 typedef struct device device_t; typedef
|
| /xen/tools/flask/policy/policy/ |
| A D | initial_sids | 14 sid device gen_context(system_u:object_r:device_t,s0)
|
| /xen/tools/flask/policy/modules/ |
| A D | dom0.te | 72 admin_device(dom0_t, device_t)
|
| A D | xen.te | 50 type device_t, resource_type;
|
Completed in 5 milliseconds