Searched refs:x86_swap_pgdir (Results 1 – 4 of 4) sorted by relevance
57 x86_swap_pgdir(uintptr_t root) in x86_swap_pgdir() function
112 FUNCTION(x86_swap_pgdir):116 FUNCTION_END(x86_swap_pgdir)
229 x86_swap_pgdir(newPageDirectory); in arch_thread_context_switch()
697 void x86_swap_pgdir(addr_t newPageDir);