Searched refs:security_device_sid (Results 1 – 3 of 3) sorted by relevance
| /xen-4.10.0-shim-comet/xen/xsm/flask/ |
| A D | hooks.c | 124 return security_device_sid(sbdf, sid); in get_irq_sid()
890 return security_device_sid(machine_bdf, sid); in flask_map_domain_msi()
956 return security_device_sid(machine_bdf, sid); in flask_unmap_domain_msi()
1076 rc = security_device_sid(machine_bdf, &rsid); in flask_pci_config_permission()
1114 rc = security_device_sid(machine_bdf, &rsid); in flask_resource_plug_pci()
1129 rc = security_device_sid(machine_bdf, &rsid); in flask_resource_unplug_pci()
1144 rc = security_device_sid(machine_bdf, &rsid); in flask_resource_setup_pci()
1290 rc = security_device_sid(machine_bdf, &rsid); in flask_get_device_group()
1302 rc = security_device_sid(machine_bdf, &rsid); in flask_test_assign_device()
1323 rc = security_device_sid(machine_bdf, &rsid); in flask_assign_device()
[all …]
|
| /xen-4.10.0-shim-comet/xen/xsm/flask/include/ |
| A D | security.h | 89 int security_device_sid(u32 device, u32 *out_sid);
|
| /xen-4.10.0-shim-comet/xen/xsm/flask/ss/ |
| A D | services.c | 1694 int security_device_sid(u32 device, u32 *out_sid) in security_device_sid() function
|
Completed in 13 milliseconds