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

/barrelfish-master/kernel/include/arch/armv7/
H A Dpaging_kernel_arch.h58 void paging_map_memory(uintptr_t ttbase, lpaddr_t paddr, size_t bytes);
/barrelfish-master/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h176 void paging_map_memory(union armv8_ttable_entry *ttbase, lpaddr_t paddr, size_t bytes);
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c126 void paging_map_memory(union armv8_ttable_entry *ttbase, lpaddr_t paddr, size_t bytes) function

Completed in 86 milliseconds