Searched defs:base_addr (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ | ||
H A D | multiboot.h | 25 uint64_t base_addr; member in struct:multiboot_mmap |
/seL4-l4v-master/seL4/libsel4/arch_include/x86/sel4/arch/ | ||
H A D | bootinfo_types.h | 120 uint64_t base_addr; // physical address of start of this region member in struct:seL4_X86_mb_mmap |
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/ | ||
H A D | vspace.c | 1514 word_t base_addr; local |
Completed in 81 milliseconds