/* * arch/xtensa/kernel/platform.c * * Default platform functions. * * This file is subject to the terms and conditions of the GNU General Public * License.  See the file "COPYING" in the main directory of this archive * for more details. * * Copyright (C) 2005 Tensilica Inc. * * Chris Zankel <chris@zankel.net> */#include <linux/config.h>#include <linux/types.h>#include <linux/pci.h>#include <linux/time.h>#include <asm/platform.h>#include <asm/timex.h>#include <asm/param.h>		/* HZ */#define _F(r,f,a,b)							\	r __platform_##f a b;                                   	\	r platform_##f a __attribute__((weak, alias("__platform_"#f)))/* * Default functions that are used if no platform specific function is defined. * (Please, refer to include/asm-xtensa/platform.h for more information) */_F(void, setup, (char** cmd), { });_F(void, init_irq, (void), { });_F(void, restart, (void), { while(1); });_F(void, halt, (void), { while(1); });_F(void, power_off, (void), { while(1); });_F(void, idle, (void), { __asm__ __volatile__ ("waiti 0" ::: "memory"); });_F(void, heartbeat, (void), { });_F(int,  pcibios_fixup, (void), { return 0; });_F(int, get_rtc_time, (time_t* t), { return 0; });_F(int, set_rtc_time, (time_t t), { return 0; });#ifdef CONFIG_XTENSA_CALIBRATE_CCOUNT_F(void, calibrate_ccount, (void),{  printk ("ERROR: Cannot calibrate cpu frequency! Assuming 100MHz.\n");  ccount_per_jiffy = 100 * (1000000UL/HZ);});#endif