Searched refs:sysreg_enable_mmu (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/kernel/arch/armv8/ | ||
| H A D | sysreg.S | 24 sysreg_enable_mmu 139 sysreg_enable_mmu: label |
| /barrelfish-master/kernel/include/arch/armv8/ | ||
| H A D | sysreg.h | 19 void sysreg_enable_mmu(void); |
Completed in 17 milliseconds