Searched defs:dsid (Results 1 – 1 of 1) sorted by relevance
90 u32 dsid = domain_sid(d); in domain_has_evtchn() local98 u32 dsid = domain_sid(d); in domain_has_xen() local917 u32 sid, dsid; in flask_map_domain_irq() local982 u32 dsid, rsid; in flask_bind_pt_irq() local1019 u32 dsid; member1071 u32 dsid, rsid; in flask_pci_config_permission() local1311 u32 dsid, rsid; in flask_assign_device() local1370 u32 dsid, rsid; in flask_assign_dtdevice() local1517 u32 dsid; member1653 u32 dsid = domain_sid(d); in flask_pmu_op() local[all …]
Completed in 6 milliseconds