Lines Matching defs:dsid
90 u32 dsid = domain_sid(d); in domain_has_evtchn() local
98 u32 dsid = domain_sid(d); in domain_has_xen() local
917 u32 sid, dsid; in flask_map_domain_irq() local
982 u32 dsid, rsid; in flask_bind_pt_irq() local
1019 u32 dsid; member
1071 u32 dsid, rsid; in flask_pci_config_permission() local
1311 u32 dsid, rsid; in flask_assign_device() local
1370 u32 dsid, rsid; in flask_assign_dtdevice() local
1517 u32 dsid; member
1653 u32 dsid = domain_sid(d); in flask_pmu_op() local
1683 u32 dsid = domain_sid(current->domain); in flask_xen_version() local