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