----- On May 15, 2020, at 11:45 AM, Will Deacon [email protected] wrote:

> On Fri, May 15, 2020 at 04:04:39PM +0200, Frederic Weisbecker wrote:
>> On Wed, May 13, 2020 at 07:28:34PM -0400, Mathieu Desnoyers wrote:
>> > ----- On May 5, 2020, at 9:16 AM, Thomas Gleixner [email protected] wrote:
>> > 
>> > > +#define arch_nmi_enter()                                                
>> > > \
>> > [...]                                                      \
>> > > +        ___hcr = read_sysreg(hcr_el2);                                  
>> > > \
>> > > +        if (!(___hcr & HCR_TGE)) {                                      
>> > > \
>> > > +                write_sysreg(___hcr | HCR_TGE, hcr_el2);                
>> > > \
>> > > +                isb();                                                  
>> > > \
>> > 
>> > Why is there an isb() above ^ ....
>> > 
>> > > +        }                                                               
>> > > \
>> > > +        /*                                                              
>> > > \
>> > [...]
>> > > -#define arch_nmi_exit()                                                 
>> > >         \
>> > [...]
>> > > +        /*                                                              
>> > > \
>> > > +         * Make sure ___ctx->cnt release is visible before we           
>> > > \
>> > > +         * restore the sysreg. Otherwise a new NMI occurring            
>> > > \
>> > > +         * right after write_sysreg() can be fooled and think           
>> > > \
>> > > +         * we secured things for it.                                    
>> > > \
>> > > +         */                                                             
>> > > \
>> > > +        barrier();                                                      
>> > > \
>> > > +        if (!___ctx->cnt && !(___hcr & HCR_TGE))                        
>> > > \
>> > > +                write_sysreg(___hcr, hcr_el2);                          
>> > > \
>> > 
>> > And not here ?
>> 
>> I have to defer to Will on this detail...
> 
> I think it's because we have to make sure that the register update has
> taken effect before we can safely run the NMI handler (and so an ISB is
> needed), but on the return path the exception return back to the interrupted
> context has an implicit ISB so there's no need for an extra one here.
> 
> Make sense?

Sure, as long as instructions executed between write_sysreg() and return
from exception do not care, which I think should be the case.

Thanks,

Mathieu

-- 
Mathieu Desnoyers
EfficiOS Inc.
http://www.efficios.com

Reply via email to