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

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

Completed in 81 milliseconds