Symbol: VTD_PTE_ADDR_M
sys/amd64/vmm/intel/vtd.c
584
ptp = (uint64_t *)PHYS_TO_DMAP(ptp[ptpindex] & VTD_PTE_ADDR_M);
sys/amd64/vmm/intel/vtd.c
746
nlp = (uint64_t *)PHYS_TO_DMAP(ptp[i] & VTD_PTE_ADDR_M);