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