1 /*
2  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #include <config.h>
8 #include <types.h>
9 #include <arch/machine.h>
10 #include <linker.h>
11 
initL2Cache(void)12 void initL2Cache(void) {}
plat_cleanL2Range(paddr_t start,paddr_t end)13 void plat_cleanL2Range(paddr_t start, paddr_t end) {}
plat_invalidateL2Range(paddr_t start,paddr_t end)14 void plat_invalidateL2Range(paddr_t start, paddr_t end) {}
plat_cleanInvalidateL2Range(paddr_t start,paddr_t end)15 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {}
plat_cleanInvalidateL2Cache(void)16 void plat_cleanInvalidateL2Cache(void) {}
17