Searched refs:base_addr (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dmultiboot.h31 uint64_t base_addr; member in struct:multiboot_mmap
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h127 uint64_t base_addr; // physical address of start of this region member in struct:seL4_X86_mb_mmap
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h127 uint64_t base_addr; // physical address of start of this region member in struct:seL4_X86_mb_mmap
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dconflict.py338 base_addr = [baddr for (baddr, l) in visits if l == 0][0]
339 tids = bb_addr_to_ids[bbAddr(base_addr)]
344 if bbAddr(base_addr) == bbAddr(context[-1]):
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot_sys.c285 uint64_t mem_start = mmap->base_addr;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1582 word_t base_addr; local
1592 base_addr = vptr & ~MASK(12);
1595 invalidateTranslationSingle(base_addr | pde_pde_invalid_get_stored_hw_asid(stored_hw_asid));

Completed in 203 milliseconds