1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 /*
8  * ARM L2 Cache controller L2C-310
9  */
10 
11 #pragma once
12 
13 #include <arch/types.h>
14 
15 
16 void initL2Cache(void);
17 
18 void plat_cleanInvalidateL2Cache(void);
19 void plat_cleanCache(void);
20 void plat_cleanL2Range(paddr_t start, paddr_t end);
21 void plat_invalidateL2Range(paddr_t start, paddr_t end);
22 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
23 
24