tree a7b7df1607fd283d5d8160e7a3ef74ad8cdd055f
parent 2f26e86da27f7fe59e16abb5535f64bdad29e688
author Richard Henderson <rth@twiddle.net> 1302750476 -0700
committer Richard Henderson <rth@twiddle.net> 1302750476 -0700

Raise the interrupt level for entInt