Searched refs:pageDirectoryAddress (Results 1 - 1 of 1) sorted by relevance
/haiku/src/system/kernel/arch/arm/ | ||
H A D | arch_thread.cpp | 126 arm_swap_pgdir(uint32_t pageDirectoryAddress) argument 128 arm_set_ttbr0(pageDirectoryAddress); |
Completed in 74 milliseconds