Lines Matching defs:value64
201 u64 value64;
231 value64 = 0;
241 &value64, access_width);
251 value64 = (u64)value32;
260 ACPI_MASK_BITS_ABOVE_64(access_width), value64);
296 u64 value64;
325 value64 = ACPI_GET_BITS(&value, index * access_width,
338 value64, access_width);
346 (u32)value64,
491 u64 value64;
530 acpi_hw_read(&value64, &acpi_gbl_FADT.xpm2_control_block);
532 value = (u32)value64;
538 status = acpi_hw_read(&value64, &acpi_gbl_FADT.xpm_timer_block);
540 value = (u32)value64;
720 u64 value64;
725 status = acpi_hw_read(&value64, register_a);
729 value_a = (u32)value64;
734 status = acpi_hw_read(&value64, register_b);
738 value_b = (u32)value64;