Searched defs:arch_mmu_base_register (Results 1 - 1 of 1) sorted by relevance
/haiku/src/system/boot/platform/efi/arch/arm64/ | ||
H A D | aarch64.h | 90 static inline uint64 arch_mmu_base_register(bool kernel = false) function |
Completed in 61 milliseconds