Lines Matching refs:uint64_t
45 uint64_t signature;
74 #define EFI_MEMORY_UC ((uint64_t)0x0000000000000001ULL) /* uncached */
75 #define EFI_MEMORY_WC ((uint64_t)0x0000000000000002ULL) /* write-coalescing */
76 #define EFI_MEMORY_WT ((uint64_t)0x0000000000000004ULL) /* write-through */
77 #define EFI_MEMORY_WB ((uint64_t)0x0000000000000008ULL) /* write-back */
78 #define EFI_MEMORY_WP ((uint64_t)0x0000000000001000ULL) /* write-protect */
79 #define EFI_MEMORY_RP ((uint64_t)0x0000000000002000ULL) /* read-protect */
80 #define EFI_MEMORY_XP ((uint64_t)0x0000000000004000ULL) /* execute-protect */
81 #define EFI_MEMORY_RUNTIME ((uint64_t)0x8000000000000000ULL) /* range requires runtime mapp…
94 uint64_t phys_addr;
95 uint64_t virt_addr;
96 uint64_t num_pages;
97 uint64_t attribute;
99 uint64_t pad1;
106 #define EFI_RUNTIME_SERVICES_SIGNATURE ((uint64_t)0x5652453544e5552ULL)
139 #define EFI_SYSTEM_TABLE_SIGNATURE ((uint64_t)0x5453595320494249ULL)