Searched refs:page_table (Results 1 – 1 of 1) sorted by relevance
832 void *page_table, in setup_page_table() argument838 page_entry = (u32_t *) page_table; in setup_page_table()