e78205df5b
we use lazy masking INTREN()/INTRDIS() might be called with INTs enabled. This means another higher prio INT to the same cpu could attempt to re-enter the critical region, but would spin waiting for the lock. Since it is the owner, it would deadlock.