acpica/include/actypes.h

175 #define ACPI_UINT64_MAX                 (UINT64)(~((UINT64) 0)) /* 0xFFFFFFFFFFFFFFFF */
192  * UINT64       64-bit (8 byte) unsigned value
239 typedef COMPILER_DEPENDENT_UINT64       UINT64;
247  * only needs the thread ID as a unique thread identifier, we use a UINT64
250  * native thread ID type to a UINT64 (in AcpiOsGetThreadId).
252 #define ACPI_THREAD_ID                  UINT64
272 typedef UINT64                          ACPI_SIZE;
273 typedef UINT64                          ACPI_IO_ADDRESS;
274 typedef UINT64                          ACPI_PHYSICAL_ADDRESS;
332 typedef UINT64                          ACPI_IO_ADDRESS;
333 typedef UINT64                          ACPI_PHYSICAL_ADDRESS;
622 typedef UINT64                          ACPI_INTEGER;
638 #define ACPI_LODWORD(Integer64)         ((UINT32)  (UINT64)(Integer64))
639 #define ACPI_HIDWORD(Integer64)         ((UINT32)(((UINT64)(Integer64)) >> 32))
1081         UINT64                          Value;      /* The actual number */
1314     UINT64                          *Value,
1341     UINT64                          Offset;
1342     UINT64                          Length;
1422     UINT64                          Address;            /* _ADR value */