Searched refs:paging_map_table_l0 (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h147 void paging_map_table_l0(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr);
/barrelfish-master/kernel/arch/armv8/
H A Dstartup_arch.c473 paging_map_table_l0(init_l0, vaddr, paddr);
H A Dpaging.c149 void paging_map_table_l0(union armv8_ttable_entry *table_base, lvaddr_t va, lpaddr_t pa) function

Completed in 79 milliseconds