1/*
2 * Copyright 2017, DornerWorks
3 * Copyright 2016, General Dynamics C4 Systems
4 *
5 * This software may be distributed and modified according to the terms of
6 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
7 * See "LICENSE_GPLv2.txt" for details.
8 *
9 * @TAG(GD_DORNERWORKS_GPL)
10 */
11/*
12 * This data was produced by DornerWorks, Ltd. of Grand Rapids, MI, USA under
13 * a DARPA SBIR, Contract Number D16PC00107.
14 *
15 * Approved for Public Release, Distribution Unlimited.
16 */
17
18#include <config.h>
19#include <types.h>
20#include <arch/machine.h>
21#include <arch/machine/generic_timer.h>
22#include <arch/linker.h>
23
24BOOT_CODE void
25initTimer(void)
26{
27    initGenericTimer();
28}
29
30void
31initL2Cache(void)
32{
33
34}
35
36void plat_cleanL2Range(paddr_t start, paddr_t end) {}
37void plat_invalidateL2Range(paddr_t start, paddr_t end) {}
38void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {}
39void plat_cleanInvalidateCache(void) {}
40