Searched refs:security_device_sid (Results 1 – 3 of 3) sorted by relevance
| /xen/xen/xsm/flask/ |
| A D | hooks.c | 127 return security_device_sid(sbdf, sid); in get_irq_sid()
878 return security_device_sid(machine_bdf, sid); in flask_map_domain_msi()
944 return security_device_sid(machine_bdf, sid); in flask_unmap_domain_msi()
1064 rc = security_device_sid(machine_bdf, &rsid); in flask_pci_config_permission()
1102 rc = security_device_sid(machine_bdf, &rsid); in flask_resource_plug_pci()
1117 rc = security_device_sid(machine_bdf, &rsid); in flask_resource_unplug_pci()
1132 rc = security_device_sid(machine_bdf, &rsid); in flask_resource_setup_pci()
1278 rc = security_device_sid(machine_bdf, &rsid); in flask_get_device_group()
1290 rc = security_device_sid(machine_bdf, &rsid); in flask_test_assign_device()
1313 rc = security_device_sid(machine_bdf, &rsid); in flask_assign_device()
[all …]
|
| /xen/xen/xsm/flask/include/ |
| A D | security.h | 89 int security_device_sid(u32 device, u32 *out_sid);
|
| /xen/xen/xsm/flask/ss/ |
| A D | services.c | 1696 int security_device_sid(u32 device, u32 *out_sid) in security_device_sid() function
|
Completed in 14 milliseconds