Searched defs:base_addr (Results 1 - 4 of 4) sorted by relevance
| /seL4-mcs-10.1.1/include/arch/x86/arch/kernel/ | ||
| H A D | multiboot.h | 31 uint64_t base_addr; member in struct:multiboot_mmap |
| /seL4-mcs-10.1.1/include/arch/x86/arch/api/ | ||
| H A D | bootinfo_types.h | 127 uint64_t base_addr; // physical address of start of this region member in struct:seL4_X86_mb_mmap |
| /seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/ | ||
| H A D | bootinfo_types.h | 127 uint64_t base_addr; // physical address of start of this region member in struct:seL4_X86_mb_mmap |
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ | ||
| H A D | vspace.c | 1582 word_t base_addr; local |
Completed in 100 milliseconds