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)
{
#ifdef CONFIG_PPC64
        __asm__ ("cntlzd %0, %1" : "=r" (ul) : "r" (ul & (-ul)));
        return 63 - ul;
#else
        __asm__ ("cntlzw %0, %1":"=r"(ul):"r"(ul & (-ul)));
        return 31 - ul;
#endif
}

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

#endif /* !_COBALT_POWERPC_ASM_MACHINE_H */