Index: linux-2.6.17.13/include/linux/ipipe.h =================================================================== --- linux-2.6.17.13.orig/include/linux/ipipe.h +++ linux-2.6.17.13/include/linux/ipipe.h @@ -763,6 +763,7 @@ void fastcall *ipipe_get_ptd(int key); #define ipipe_irq_unlock(irq) do { } while(0) #define ipipe_root_domain_p 1 +#define ipipe_safe_current() current #endif /* CONFIG_IPIPE */