1/* 2 * Copyright 2014, General Dynamics C4 Systems 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#include <arch/machine/hardware.h> 8 9 10void clean_D_PoU(void) 11{ 12 /* V6 has a single op to clean D-Cache */ 13 asm volatile("mcr p15, 0, %0, c7, c10, 0" : : "r"(0)); 14} 15 16 17void cleanInvalidate_D_PoC(void) 18{ 19 /* V6 has a single op to clean+invalidate D-Cache */ 20 asm volatile("mcr p15, 0, %0, c7, c14, 0" : : "r"(0)); 21} 22 23void cleanInvalidate_L1D(void) 24{ 25 cleanInvalidate_D_PoC(); 26} 27