Symbol: ACPI_RESOURCE_TYPE_ADDRESS64
headers/private/kernel/acpi.h
464
ACPI_RESOURCE_TYPE_ADDRESS64 = 13,
src/add-ons/kernel/bus_managers/acpi/acpica/include/acrestyp.h
863
#define ACPI_RESOURCE_TYPE_ADDRESS64 13