23 #ifndef _COBALT_ARM_ASM_MACHINE_H
24 #define _COBALT_ARM_ASM_MACHINE_H
26 #include <linux/version.h>
27 #include <asm/byteorder.h>
29 #define XNARCH_HOST_TICK_IRQ __ipipe_hrtimer_irq
31 #include <asm/barrier.h>
32 #include <asm/compiler.h>
33 #include <asm/cmpxchg.h>
34 #include <asm/switch_to.h>
35 #include <asm/system_info.h>
36 #include <asm/system_misc.h>
37 #include <asm/timex.h>
38 #include <asm/processor.h>
39 #include <asm/ipipe.h>
40 #include <asm/mach/irq.h>
41 #include <asm/cacheflush.h>
43 #define xnarch_cache_aliasing() cache_is_vivt()
45 #if __LINUX_ARM_ARCH__ < 5
46 static inline __attribute_const__
unsigned long ffnz(
unsigned long x)
75 static inline __attribute_const__
unsigned long ffnz(
unsigned long ul)
78 __asm__(
"clz\t%0, %1" :
"=r" (__r) :
"r"(ul & (-ul)) :
"cc");
83 #include <asm-generic/xenomai/machine.h>