x86: sends the EOI later in the IRQ path
[akaros.git] / kern / src / rwlock.c
2014-01-16 Barret RhodenReader-writer queue locks