- Incidentally, this has the structure of a "monitor". Normally
- we'd use locks and condition variables from threads/synch.h to
- implement a monitor, but those are intended only to protect
- kernel threads from one another, not from interrupt
+ The interrupt queue has the structure of a "monitor". Locks
+ and condition variables from threads/synch.h cannot be used in
+ this case, as they normally would, because they can only
+ protect kernel threads from one another, not from interrupt