Symbol: VTD_LEVELTOAW
sys/dev/acpi/acpidmar.c
1983
gaw = VTD_LEVELTOAW(i);
sys/dev/acpi/acpidmar.h
376
return VTD_LEVELTOAW((ce->hi >> CTX_H_AW_SHIFT) & CTX_H_AW_MASK);