mmu_get_next_page_tables
uint32 *pageTable = mmu_get_next_page_tables();
uint32 *pageTable = mmu_get_next_page_tables();
pageTable = mmu_get_next_page_tables();
extern addr_t mmu_get_next_page_tables();
tbl = mmu_get_next_page_tables();
tbl = mmu_get_next_page_tables();
tbl = mmu_get_next_page_tables();
tbl = mmu_get_next_page_tables();
uint32 *pageTable = mmu_get_next_page_tables();
uint32 *pageTable = mmu_get_next_page_tables();
pageTable = mmu_get_next_page_tables();
extern addr_t mmu_get_next_page_tables();
uint32 *pageTable = mmu_get_next_page_tables();
uint32 *pageTable = mmu_get_next_page_tables();
pageTable = mmu_get_next_page_tables();
extern addr_t mmu_get_next_page_tables();
extern addr_t mmu_get_next_page_tables();