Searched refs:paging_set_l3_entry (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/kernel/include/arch/armv8/ |
| H A D | paging_kernel_arch.h | 159 void paging_set_l3_entry(union armv8_ttable_entry *l3_entry, lpaddr_t pa, uintptr_t flags);
163 //void paging_set_l3_entry(union armv8_ttable_entry *l2entry, lpaddr_t paddr, uintptr_t flags);
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | startup_arch.c | 116 paging_set_l3_entry(&l3_table[bi], pa_base, l3_flags);
|
| H A D | paging.c | 251 void paging_set_l3_entry(union armv8_ttable_entry *l3_entry, lpaddr_t pa, uintptr_t flags) function
288 //void paging_set_l3_entry(union armv8_ttable_entry *l3e, lpaddr_t addr, uintptr_t flags)
|
Completed in 41 milliseconds