tests/ifdef5.cocci

   1 @ Exemple5 @  @@
   2
   3   init_IRQ(...) {...}
   4
   5 + #ifdef CONFIG_NKERNEL
   6 + #ifndef TIMER_32K_SYNCHRONIZED
   7 + #define TIMER_32K_SYNCHRONIZED        0xffffffff
   8 + #endif
   9
  10 + unsigned long nk_vtick_read_stamp(void)
  11 + {
  12 + return omap_readl(TIMER_32K_SYNCHRONIZED);
  13 + }