Re: [PATCH]: gnumach - simplify interrupt handling

[Samuel Thibault]

BTW, this cleanup may help with kvm-in-kvm emulation such as used on
jenkins.debian.net: IIRC that was getting performance issues because of
interrupt simulation misperformance. Using cli/sti most of the time will
probably help here.

Samuel