Symbol: ACPI_GET64
drivers/acpi/acpica/exdump.c
392
ACPI_FORMAT_UINT64(ACPI_GET64(target)));
drivers/acpi/acpica/exregion.c
213
*value = (u64)ACPI_GET64(logical_addr_ptr);
drivers/acpi/acpica/rsdump.c
243
acpi_rs_out_integer64(name, ACPI_GET64(target));