diff options
Diffstat (limited to 'kern/linux/linux_system.hh')
| -rw-r--r-- | kern/linux/linux_system.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kern/linux/linux_system.hh b/kern/linux/linux_system.hh index f5fd2b06b..5e3cba9b3 100644 --- a/kern/linux/linux_system.hh +++ b/kern/linux/linux_system.hh @@ -98,6 +98,8 @@ class LinuxSystem : public System * Event to bin Interrupts seperately from kernel code */ InterruptEndEvent *intEndEvent; + InterruptEndEvent *intEndEvent2; + InterruptEndEvent *intEndEvent3; /** Grab the PCBB of the idle process when it starts */ IdleStartEvent *idleStartEvent; |