Symbol: VTD_STRIDE_MASK
sys/dev/acpi/acpidmar.c
544
idx = (va >> lvl) & VTD_STRIDE_MASK;
sys/dev/acpi/acpidmar.c
611
idx = (va >> shift) & VTD_STRIDE_MASK;