[PATCH]: gnumach - simplify interrupt handling

[Damien Zammit]

Hi there,

Please find attached 2x patches for gnumach (apply cleanly on debian gnumach).

The first patch combines all spls 1-7 into a single spl that disables all 
interrupts.
It boots with just this patch.

The second patch removes all concept of a cached PIC mask, and allows the PIC 
to remain
unmasked for all interrupts individually all the time (except when doing an 
EOI).

This simplifies the interrupt handling because if you need to disable 
interrupts in a driver,
all you need to do is call:

spl_t s = splhi();
/* Do your stuff here */
splx(s);

This also boots with linux drivers enabled on native hw,
and I tested it out by compiling gnumach while running this version with AHCI 
disk driver.

Damien

0001-combine-spls
Description: Text document

0002-remove-picmask
Description: Text document