read_value64      595 drivers/acpi/acpica/hwregs.c 	u64 read_value64;
read_value64      659 drivers/acpi/acpica/hwregs.c 		    acpi_hw_read(&read_value64,
read_value64      664 drivers/acpi/acpica/hwregs.c 		read_value = (u32)read_value64;