f4e0230dde
Open VCPU interrupts while the VCPU is in an IPC operation can badly influence its state. That's why this commit fixes a whole bunch of places, where IRQs weren't masked by now. |
||
---|---|---|
.. | ||
drivers | ||
l4android | ||
l4linux | ||
lib/l4lx |