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

/barrelfish-master/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h149 void paging_map_table_l1(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr);
/barrelfish-master/kernel/arch/armv8/
H A Dstartup_arch.c486 paging_map_table_l1(init_l1, vaddr, paddr);
H A Dpaging.c164 void paging_map_table_l1(union armv8_ttable_entry *table_base, lvaddr_t va, lpaddr_t pa) function

Completed in 90 milliseconds