20 #ifndef _COBALT_SH_ASM_MACHINE_H
21 #define _COBALT_SH_ASM_MACHINE_H
23 #include <linux/compiler.h>
25 #ifndef CONFIG_CPU_SH4
26 #error "unsupported SH architecture"
29 #define XNARCH_HOST_TICK_IRQ __ipipe_hrtimer_irq
31 static inline __attribute_const__
unsigned long ffnz(
unsigned long ul)
36 #include <asm-generic/xenomai/machine.h>