ppc_get_page_table - Haiku

Symbol: ppc_get_page_table

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

extern void ppc_get_page_table(page_table_entry_group **_pageTable, size_t *_size);

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

extern void ppc_get_page_table(page_table_entry_group **_pageTable, size_t *_size);

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

ppc_get_page_table(&table, &tableSize);