Searched refs:page_table_base_index (Results 1 – 2 of 2) sorted by relevance
67 hrt_data page_table_base_index; member
1538 my_css.page_table_base_index = mmu_get_page_table_base_index(MMU0_ID); in ia_css_init()