text: /*
   * 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/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; });
  
  #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
  