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

/barrelfish-master/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h151 void paging_map_table_l2(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr);
/barrelfish-master/kernel/arch/armv8/
H A Dstartup_arch.c503 paging_map_table_l2(init_l2, vaddr, paddr);
H A Dpaging.c196 void paging_map_table_l2(union armv8_ttable_entry *table_base, lvaddr_t va, lpaddr_t pa) function

Completed in 37 milliseconds