machine.h

#ifndef _COBALT_POWERPC_ASM_MACHINE_H
#define _COBALT_POWERPC_ASM_MACHINE_H

#include <linux/compiler.h>

#define XNARCH_HOST_TICK_IRQ    __ipipe_hrtimer_irq

static inline __attribute_const__ unsigned long ffnz(unsigned long ul)
{
        __asm__ ("cntlzw %0, %1":"=r"(ul):"r"(ul & (-ul)));
        return 31 - ul;
}

/* Read this last to enable default settings. */
#include <asm-generic/xenomai/machine.h>

#endif /* !_COBALT_POWERPC_ASM_MACHINE_H */