Searched refs:paging_map_page_l3 (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h157 void paging_map_page_l3(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr, uintptr_t flags);
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c231 void paging_map_page_l3(union armv8_ttable_entry *table_base, lvaddr_t va, lpaddr_t pa, uintptr_t flags) function

Completed in 96 milliseconds