mmu_ID_t
const mmu_ID_t ID,
const mmu_ID_t ID)
const mmu_ID_t ID)
mmu_ID_t mmu_id;
for (mmu_id = (mmu_ID_t)0; mmu_id < N_MMU_ID; mmu_id++)
void mmu_set_page_table_base_index(const mmu_ID_t ID, const hrt_data base_index);
hrt_data mmu_get_page_table_base_index(const mmu_ID_t ID);
void mmu_invalidate_cache(const mmu_ID_t ID);
static inline void mmu_reg_store(const mmu_ID_t ID, const unsigned int reg, const hrt_data value)
static inline hrt_data mmu_reg_load(const mmu_ID_t ID, const unsigned int reg)
mmu_ID_t mmu_id = i;