Searched refs:uint64 (Results 1 – 4 of 4) sorted by relevance
43 uint64_t uint64; member157 setup_cbmem_console(read_le64(&entry->uint64)); in coreboot_table_setup()
127 uint64\_t tzdram\_size;129 uint64\_t tzdram\_base;135 uint64\_t boot\_profiler\_shmem\_base;
567 - **uint32/uint64** - Event Cookie648 - **uint64** Base Address738 - **uint64** - Base Address
3542 …- add function to read uint64 with default value ([bc8dfca](https://review.trustedfirmware.org/plu…