x86_swap_pgdir - Haiku

Symbol: x86_swap_pgdir

headers/private/kernel/arch/x86/arch_cpu.h

void x86_swap_pgdir(addr_t newPageDir);

src/system/kernel/arch/x86/arch_thread.cpp

x86_swap_pgdir(newPageDirectory);