80f21bd4_rity_Modules___XSM_FLASK___Xen__Description
[Operation] stat_device [Description] 
XEN_DOMCTL_get_device_group, XEN_DOMCTL_test_assign_device: source = domain making the hypercall target = PCI device being queried
Xen Security Modules : XSM-FLASK - Xen
Description