text: /*
   * Support for Intel Camera Imaging ISP subsystem.
   * Copyright (c) 2010-2015, Intel Corporation.
   *
   * This program is free software; you can redistribute it and/or modify it
   * under the terms and conditions of the GNU General Public License,
   * version 2, as published by the Free Software Foundation.
   *
   * This program is distributed in the hope it will be useful, but WITHOUT
   * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
   * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
   * more details.
   */
  
  /* The name "mmu.h is already taken" */
  #include "mmu_device.h"
  
  #ifndef __INLINE_MMU__
  #include "mmu_private.h"
  #endif /* __INLINE_MMU__ */
  
  void mmu_set_page_table_base_index(
  	const mmu_ID_t		ID,
  	const hrt_data		base_index)
  {
  	mmu_reg_store(ID, _HRT_MMU_PAGE_TABLE_BASE_ADDRESS_REG_IDX, base_index);
  return;
  }
  
  hrt_data mmu_get_page_table_base_index(
  	const mmu_ID_t		ID)
  {
  return mmu_reg_load(ID, _HRT_MMU_PAGE_TABLE_BASE_ADDRESS_REG_IDX);
  }
  
  void mmu_invalidate_cache(
  	const mmu_ID_t		ID)
  {
  	mmu_reg_store(ID, _HRT_MMU_INVALIDATE_TLB_REG_IDX, 1);
  return;
  }
  
  void mmu_invalidate_cache_all(void)
  {
  	mmu_ID_t	mmu_id;
  	for (mmu_id = (mmu_ID_t)0;mmu_id < N_MMU_ID; mmu_id++) {
  		mmu_invalidate_cache(mmu_id);
  	}
  }
  
  