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));