On Thu, 2013-07-11 at 00:57 +0200, Alexander Graf wrote: > > #ifdef CONFIG_PPC64 > > + /* > > + * To avoid races, the caller must have gone directly from having > > + * interrupts fully-enabled to hard-disabled. > > + */ > > + WARN_ON(local_paca->irq_happened != PACA_IRQ_HARD_DIS); > > WARN_ON(lazy_irq_pending()); ? Different semantics. What you propose will not catch irq_happened == 0 :-) Cheers, Ben. -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
