Re: armv7 void x_intr() vs int x_intr()

[Artturi Alm]

On Tue, Aug 01, 2017 at 08:09:01PM -0600, Theo de Raadt wrote:
> > (i'm not pointing out the obvious hz*2 'issue' here i think we have on 
> > armv7;).
> 
> You are missing another detail.
> 

hmmph, and that is?
puzzled.
-Artturi