|
StuBS
|
Files | |
| gate.h | |
| Class Gate (Device interrupt handling) | |
| guard.cc | |
| guard.h | |
| Guard synchronizes access to epilogue level | |
| guarded.h | |
| Guarded, an interface to secure critical sections | |
| handler.cc | |
| handler.h | |
| interrupt_handler() Interrupt handler | |
| plugbox.cc | |
| plugbox.h | |
| Plugbox allows assigning devices to interrupt vectors | |