Home
last modified time | relevance | path

Searched refs:UINT64 (Results 1 – 4 of 4) sorted by relevance

/xnu-8792.41.9/EXTERNAL_HEADERS/acpi/
H A DAcpi.h185 UINT64 Address; /* 64-bit address of struct or register */
202 UINT64 XsdtPhysicalAddress;/* 64-bit physical address of the XSDT (ACPI 2.0+) */
223 UINT64 TableOffsetEntry[1];/* Array of pointers to ACPI tables */
246UINT64 XFirmwareWakingVector;/* 64-bit version of the Firmware Waking Vector (ACP…
260 UINT64 *FirmwareWakingVector;
349 UINT64 XFirmwareCtrl; /* 64-bit physical address of FACS */
350 UINT64 XDsdt; /* 64-bit physical address of DSDT */
H A DAcpi_v1.h281 UINT64 Reserved;
480 UINT64 Address; /* APIC physical address */
490 UINT64 Address; /* SAPIC physical address */
532 UINT64 BaseAddress; /* Base address, processor-relative */
562 UINT64 LocalityCount;
631 UINT64 Reserved2; /* Reserved, must be zero */
670 UINT64 BaseAddress;
671 UINT64 AddressLength;
682 UINT64 Reserved6; /* Reserved, must be zero */
696 UINT64 LogAddress; /* Address of the event log area */
/xnu-8792.41.9/osfmk/i386/
H A Dacpi.c58 #define UINT64 uint64_t macro
614 SEARCH_FOR_ACPI_TABLE(xsdtp, signature, UINT64); in acpi_find_table_via_xsdt()
/xnu-8792.41.9/EXTERNAL_HEADERS/coretrust/
H A DCTEvaluate.h46 typedef UINT64 CT_uint64_t;