Searched refs:_HRT_MMU_PAGE_TABLE_BASE_ADDRESS_REG_IDX (Results 1 – 2 of 2) sorted by relevance
23 mmu_reg_store(ID, _HRT_MMU_PAGE_TABLE_BASE_ADDRESS_REG_IDX, base_index); in mmu_set_page_table_base_index()30 return mmu_reg_load(ID, _HRT_MMU_PAGE_TABLE_BASE_ADDRESS_REG_IDX); in mmu_get_page_table_base_index()
20 #define _HRT_MMU_PAGE_TABLE_BASE_ADDRESS_REG_IDX 1 macro