Fix IPIPE-disabled build
PATCH 1/1 Fix IPIPE-disabled build
I messed up the disabled build, please merge this fix.
Jan
--- include/linux/ipipe.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
include/linux/ipipe.h +2 -2
@@ -611,8 +611,8 @@ void ipipe_kgdb_set_irq_handler(int irq,#define ipipe_processor_id () smp_processor_id()#define ipipe_safe_current () current -#define ipipe_nmi_enter () do { } while () -#define ipipe_nmi_exit () do { } while () +#define ipipe_nmi_enter () do { } while (0) +#define ipipe_nmi_exit () do { } while (0)#define local_irq_disable_head () local_irq_disable()