ppc_set_page_table - Haiku

Symbol: ppc_set_page_table

headers/private/kernel/arch/ppc/arch_mmu.h

extern void ppc_set_page_table(page_table_entry_group *pageTable, size_t size);

headers/private/kernel/arch/ppc/arch_mmu_amcc440.h

extern void ppc_set_page_table(page_table_entry_group *pageTable, size_t size);

src/system/boot/platform/openfirmware/arch/ppc/mmu.cpp

ppc_set_page_table(physicalTable, tableSize);