Searched refs:uint64_t (Results 1 – 9 of 9) sorted by relevance
| /misc/debug_tools/acrn_trace/ |
| A D | sbuf.h | 22 typedef unsigned long uint64_t; typedef
42 uint64_t magic;
47 uint64_t flags;
53 static inline void sbuf_clear_flags(shared_buf_t *sbuf, uint64_t flags) in sbuf_clear_flags()
58 static inline void sbuf_set_flags(shared_buf_t *sbuf, uint64_t flags) in sbuf_set_flags()
63 static inline void sbuf_add_flags(shared_buf_t *sbuf, uint64_t flags) in sbuf_add_flags()
|
| A D | acrntrace.h | 50 typedef unsigned long uint64_t; typedef
53 uint64_t tsc;
54 uint64_t id;
66 uint64_t e;
67 uint64_t f;
|
| A D | acrntrace.c | 32 static uint64_t period = 10000;
|
| /misc/efi-stub/ |
| A D | elf32.h | 39 int elf_load(Elf32_Ehdr *ehdr, uint64_t load_addr, uint64_t link_addr);
40 int elf_calc_link_addr_range(Elf32_Ehdr *ehdr, uint64_t *link_addr_low, uint64_t *link_addr_high);
|
| A D | elf32.c | 51 int elf_load(Elf32_Ehdr *ehdr, uint64_t load_addr, uint64_t link_addr) in elf_load()
54 uint64_t addr; in elf_load()
68 addr = (uint64_t)(load_addr + (phdr->p_paddr - link_addr)); in elf_load()
72 addr = (uint64_t)(load_addr + (phdr->p_paddr - link_addr + phdr->p_filesz)); in elf_load()
90 int elf_calc_link_addr_range(Elf32_Ehdr *ehdr, uint64_t *link_addr_low, uint64_t *link_addr_high) in elf_calc_link_addr_range()
96 uint64_t ram_low = ~0; in elf_calc_link_addr_range()
97 uint64_t ram_high = 0; in elf_calc_link_addr_range()
|
| A D | multiboot.h | 164 uint64_t mm_base_addr;
165 uint64_t mm_length;
318 uint64_t addr;
319 uint64_t len;
366 uint64_t pointer;
388 const struct multiboot_header *find_mb1header(const UINT8 *buffer, uint64_t len);
389 const struct multiboot2_header *find_mb2header(const UINT8 *buffer, uint64_t len);
|
| A D | multiboot.c | 47 const struct multiboot_header *find_mb1header(const UINT8 *buffer, uint64_t len) in find_mb1header()
71 const struct multiboot2_header *find_mb2header(const UINT8 *buffer, uint64_t len) in find_mb2header()
77 header = (struct multiboot2_header *)((uint64_t)header + MULTIBOOT2_HEADER_ALIGN / 4)) in find_mb2header()
|
| A D | boot.c | 237 d = (EFI_MEMORY_DESCRIPTOR *)((uint64_t)mmap_info->mmap + \ in fill_e820()
356 mbi->mi_loader_name = (UINT32)(uint64_t)uefi_boot_loader_name; in construct_mbi()
434 uint64_t *mbistart; in construct_mbi2()
435 uint64_t *p; in construct_mbi2()
476 p += (2 * sizeof(uint32_t)) / sizeof(uint64_t); in construct_mbi2()
485 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
494 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
537 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
546 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
554 tag->pointer = (uint64_t)sys_table; in construct_mbi2()
[all …]
|
| A D | boot.h | 77 *msr_val_ptr = ((uint64_t)msrh << 32U) | msrl; \
217 static inline uint64_t
220 uint64_t msr_val; in msr_read()
|
Completed in 12 milliseconds