2 * Support for Intel Camera Imaging ISP subsystem.
3 * Copyright (c) 2010-2015, Intel Corporation.
5 * This program is free software; you can redistribute it and/or modify it
6 * under the terms and conditions of the GNU General Public License,
7 * version 2, as published by the Free Software Foundation.
9 * This program is distributed in the hope it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15 /* The name "mmu.h is already taken" */
16 #include "mmu_device.h"
18 #ifndef __INLINE_MMU__
19 #include "mmu_private.h"
20 #endif /* __INLINE_MMU__ */
22 void mmu_set_page_table_base_index(
24 const hrt_data base_index)
26 mmu_reg_store(ID, _HRT_MMU_PAGE_TABLE_BASE_ADDRESS_REG_IDX, base_index);
30 hrt_data mmu_get_page_table_base_index(
33 return mmu_reg_load(ID, _HRT_MMU_PAGE_TABLE_BASE_ADDRESS_REG_IDX);
36 void mmu_invalidate_cache(
39 mmu_reg_store(ID, _HRT_MMU_INVALIDATE_TLB_REG_IDX, 1);
43 void mmu_invalidate_cache_all(void)
46 for (mmu_id = (mmu_ID_t)0;mmu_id < N_MMU_ID; mmu_id++) {
47 mmu_invalidate_cache(mmu_id);