On 06.09.2013, at 00:09, Scott Wood wrote: > On Thu, 2013-07-11 at 01:09 +0200, Alexander Graf wrote: >> On 11.07.2013, at 01:08, Scott Wood wrote: >> >>> On 07/10/2013 06:04:53 PM, Alexander Graf wrote: >>>> On 11.07.2013, at 01:01, Benjamin Herrenschmidt wrote: >>>>> 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 :-) >>>> Right, but we only ever reach here after hard_irq_disable() I think. >>> >>> And the WARN_ON helps us ensure that it stays that way. >> >> Heh - ok :). Works for me. > > What's the status on this patch?
IIUC it was ok. Ben, could you please verify? Alex -- To unsubscribe from this list: send the line "unsubscribe kvm-ppc" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
