Searched refs:page_entry (Results 1 – 1 of 1) sorted by relevance
836 u32_t *page_entry; in setup_page_table() local838 page_entry = (u32_t *) page_table; in setup_page_table()842 *page_entry = page_base_phy.as_u32.high; in setup_page_table()843 page_entry++; in setup_page_table()844 *page_entry = page_base_phy.as_u32.low; in setup_page_table()845 page_entry++; in setup_page_table()