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