diff options
Diffstat (limited to 'dev/platform.hh')
| -rw-r--r-- | dev/platform.hh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/dev/platform.hh b/dev/platform.hh index db6a489ad..407f58406 100644 --- a/dev/platform.hh +++ b/dev/platform.hh @@ -53,10 +53,13 @@ class Platform : public SimObject int interrupt_frequency; public: - Platform(const std::string &name, SimConsole *con, IntrControl *intctrl, + Platform(const std::string &name, IntrControl *intctrl, PciConfigAll *pci, int intrFreq) - : SimObject(name), intrctrl(intctrl), cons(con), pciconfig(pci), + : SimObject(name), intrctrl(intctrl), pciconfig(pci), interrupt_frequency(intrFreq) {} + virtual ~Platform() {} + virtual void postConsoleInt() = 0; + virtual void clearConsoleInt() = 0; }; #endif // __PLATFORM_HH_ |