get_next_page_table
uint32 *pageTable = get_next_page_table();
uint32 *pageTable = get_next_page_table();
pageTable = get_next_page_table();
pageTable = get_next_page_table();
pageTable = get_next_page_table();