IRQ_SAVE_DISABLE(): Really block signals.
[bertos.git] / kern / switch_x86_64.s
2005-11-27 bernieAdd x86_64 task switching (to be updated to new-style...