1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * This software may be distributed and modified according to the terms of
5 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
6 * See "LICENSE_GPLv2.txt" for details.
7 *
8 * @TAG(GD_GPL)
9 */
10
11#include <config.h>
12#include <types.h>
13#include <machine/io.h>
14#include <kernel/vspace.h>
15#include <arch/machine.h>
16#include <arch/kernel/vspace.h>
17#include <plat/machine.h>
18#include <linker.h>
19#include <plat/machine/devices.h>
20#include <plat/machine/hardware.h>
21#include <arch/machine/generic_timer.h>
22#include <plat/machine/mct.h>
23
24timer_t *mct = (timer_t *) EXYNOS_MCT_PPTR;
25
26BOOT_CODE void initTimer(void)
27{
28    mct_clear_write_status();
29
30    /* use the arm generic timer, backed by the mct */
31    /* enable the timer */
32    mct->global.tcon = GTCON_EN;
33    while (mct->global.wstat != GWSTAT_TCON);
34    mct->global.wstat = GWSTAT_TCON;
35
36    initGenericTimer();
37}
38
39void plat_cleanL2Range(paddr_t start, paddr_t end) {}
40void plat_invalidateL2Range(paddr_t start, paddr_t end) {}
41void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {}
42
43