tests/ifdef5.res

   1 #include <asm/thread_info.h>
   2 #include <asm/memory.h>
   3 #include <asm/mach/time.h>
   4 #include <asm/io.h>
   5
   6
   7 void init_IRQ(void)
   8 {
   9         for (irq = 0; irq < IRQS; irq++) {
  10                 *desc = irq_desc;
  11                 uselessCall();
  12         }
  13 }
  14
  15 #ifdef CONFIG_NKERNEL
  16 #ifndef TIMER_32K_SYNCHRONIZED
  17 #define TIMER_32K_SYNCHRONIZED          0xffffffff
  18 #endif
  19
  20 unsigned long nk_vtick_read_stamp(void)
  21 {
  22 return omap_readl(TIMER_32K_SYNCHRONIZED);
  23 }