2 * System functions for Telechips TCCxxxx SoCs
4 * Copyright (C) Hans J. Koch <hjk@linutronix.de>
6 * Licensed under the terms of the GPL v2.
12 #include <mach/tcc8k-regs.h>
15 void plat_tcc_reboot(void)
17 /* Make sure clocks are on */
18 __raw_writel(0xffffffff, CKC_BASE
+ BCLKCTR0_OFFS
);
20 /* Enable watchdog reset */
21 __raw_writel(0x49, TIMER_BASE
+ TWDCFG_OFFS
);