Re: [PATCH]: gnumach - simplify interrupt handling

[Samuel Thibault]

Ok, I have restored some of the mask/unmask_irq, so that curr_pic_mask
will still exist, but without the notion of spl: it will just store
which IRQs have been effectively disabled. That'll already be good for a
first step :)

Samuel