Symbol: VTD_PTE_SUPERPAGE
sys/amd64/vmm/intel/vtd.c
599
ptp[ptpindex] |= VTD_PTE_SUPERPAGE;
sys/amd64/vmm/intel/vtd.c
744
if ((ptp[i] & VTD_PTE_SUPERPAGE) != 0)