This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / arm / plat-tcc / system.c
blobcc208fae3e7a5a4bb0d352f893a5d9fd207b800c
1 /*
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.
8 */
10 #include <linux/io.h>
12 #include <mach/tcc8k-regs.h>
14 /* System reboot */
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);
22 /* Wait for reset */
23 while(1)