Searched refs:core_mmu_table_write_barrier (Results 1 – 4 of 4) sorted by relevance
184 static inline void core_mmu_table_write_barrier(void) in core_mmu_table_write_barrier() function
962 core_mmu_table_write_barrier(); in core_mmu_set_user_map()967 core_mmu_table_write_barrier(); in core_mmu_set_user_map()
2126 core_mmu_table_write_barrier(); in core_mmu_map_pages()2200 core_mmu_table_write_barrier(); in core_mmu_map_contiguous_pages()2467 core_mmu_table_write_barrier(); in core_mmu_add_mapping()