Symbol: DMAR_PTE_SP
sys/x86/iommu/intel_idpgtbl.c
463
(superpage ? DMAR_PTE_SP : 0));
sys/x86/iommu/intel_idpgtbl.c
643
if ((pte->pte & DMAR_PTE_SP) != 0 ||