Symbol: ACPI_GET64
src/add-ons/kernel/bus_managers/acpi/acpica/components/executer/exdump.c
552
ACPI_FORMAT_UINT64 (ACPI_GET64 (Target)));
src/add-ons/kernel/bus_managers/acpi/acpica/components/executer/exregion.c
376
*Value = (UINT64) ACPI_GET64 (LogicalAddrPtr);