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