192296Srwatson/* 288579Schris * Copyright 2017, DornerWorks 389511Sru * Copyright 2016, General Dynamics C4 Systems 488579Schris * 588579Schris * This software may be distributed and modified according to the terms of 688579Schris * the GNU General Public License version 2. Note that NO WARRANTY is provided. 788579Schris * See "LICENSE_GPLv2.txt" for details. 888579Schris * 989511Sru * @TAG(GD_DORNERWORKS_GPL) 1088579Schris */ 1188579Schris/* 1288579Schris * This data was produced by DornerWorks, Ltd. of Grand Rapids, MI, USA under 1388579Schris * a DARPA SBIR, Contract Number D16PC00107. 1488579Schris * 1588579Schris * Approved for Public Release, Distribution Unlimited. 1688579Schris */ 1788579Schris 1889511Sru#include <config.h> 1988579Schris#include <types.h> 2088579Schris#include <arch/machine.h> 2188579Schris#include <arch/machine/generic_timer.h> 2288579Schris#include <arch/linker.h> 2388579Schris 2488579SchrisBOOT_CODE void 2588579SchrisinitTimer(void) 2688579Schris{ 2788579Schris initGenericTimer(); 2888579Schris} 2988579Schris 3089511Sruvoid 3188579SchrisinitL2Cache(void) 3289511Sru{ 3388579Schris 3493087Snetchild} 35107744Sru 3688579Schrisvoid plat_cleanL2Range(paddr_t start, paddr_t end) {} 3788579Schrisvoid plat_invalidateL2Range(paddr_t start, paddr_t end) {} 38107788Sruvoid plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} 3988579Schrisvoid plat_cleanInvalidateCache(void) {} 4088937Schris