sys/x86/iommu/amd_ctx.c

255

domain->iodom.flags |= IOMMU_DOMAIN_IDMAP;

sys/x86/iommu/amd_ctx.c

463

if ((DOM2IODOM(domain)->flags & IOMMU_DOMAIN_IDMAP) != 0) {

sys/x86/iommu/amd_idpgtbl.c

113

KASSERT((domain->iodom.flags & IOMMU_DOMAIN_IDMAP) != 0,

sys/x86/iommu/amd_idpgtbl.c

249

KASSERT((iodom->flags & IOMMU_DOMAIN_IDMAP) == 0,

sys/x86/iommu/amd_idpgtbl.c

341

KASSERT((domain->iodom.flags & IOMMU_DOMAIN_IDMAP) == 0,

sys/x86/iommu/intel_ctx.c

167

if ((domain->iodom.flags & IOMMU_DOMAIN_IDMAP) != 0 &&

sys/x86/iommu/intel_ctx.c

404

domain->iodom.flags |= IOMMU_DOMAIN_IDMAP;

sys/x86/iommu/intel_ctx.c

695

domain->domain, (domain->iodom.flags & IOMMU_DOMAIN_IDMAP) != 0 ?

sys/x86/iommu/intel_idpgtbl.c

494

KASSERT((iodom->flags & IOMMU_DOMAIN_IDMAP) == 0,

sys/x86/iommu/intel_idpgtbl.c

607

KASSERT((domain->iodom.flags & IOMMU_DOMAIN_IDMAP) == 0,

sys/x86/iommu/intel_idpgtbl.c

719

(domain->iodom.flags & IOMMU_DOMAIN_IDMAP) != 0,

sys/x86/iommu/intel_idpgtbl.c

726

if ((domain->iodom.flags & IOMMU_DOMAIN_IDMAP) != 0) {

sys/x86/iommu/intel_idpgtbl.c

728

domain->iodom.flags &= ~IOMMU_DOMAIN_IDMAP;