Searched refs:mmu_reg_store (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()36 mmu_reg_store(ID, _HRT_MMU_INVALIDATE_TLB_REG_IDX, 1); in mmu_invalidate_cache()
67 static inline void mmu_reg_store( in mmu_reg_store() function