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
959 core_mmu_table_write_barrier(); in core_mmu_set_user_map()964 core_mmu_table_write_barrier(); in core_mmu_set_user_map()
2104 core_mmu_table_write_barrier(); in core_mmu_map_pages()2178 core_mmu_table_write_barrier(); in core_mmu_map_contiguous_pages()2445 core_mmu_table_write_barrier(); in core_mmu_add_mapping()