Symbol: IOMMU_DOMAIN_PGTBL_INITED
sys/x86/iommu/amd_ctx.c
169
if ((domain->iodom.flags & IOMMU_DOMAIN_PGTBL_INITED) != 0) {
sys/x86/iommu/amd_idpgtbl.c
99
domain->iodom.flags |= IOMMU_DOMAIN_PGTBL_INITED;
sys/x86/iommu/intel_ctx.c
489
if ((domain->iodom.flags & IOMMU_DOMAIN_PGTBL_INITED) != 0) {
sys/x86/iommu/intel_idpgtbl.c
704
domain->iodom.flags |= IOMMU_DOMAIN_PGTBL_INITED;