Symbol: VTD_PTE_MASK
sys/dev/acpi/acpidmar.c
556
npte = (void *)PMAP_DIRECT_MAP((val & VTD_PTE_MASK));
sys/dev/acpi/acpidmar.c
581
npte = (void *)PMAP_DIRECT_MAP((val & VTD_PTE_MASK));