diff options
Diffstat (limited to 'src/dev/arm/vgic.hh')
| -rw-r--r-- | src/dev/arm/vgic.hh | 18 |
1 files changed, 3 insertions, 15 deletions
diff --git a/src/dev/arm/vgic.hh b/src/dev/arm/vgic.hh index e9bc29c18..40e42d4fa 100644 --- a/src/dev/arm/vgic.hh +++ b/src/dev/arm/vgic.hh @@ -104,22 +104,10 @@ class VGic : public PioDevice static const uint32_t LR_PENDING = 1; static const uint32_t LR_ACTIVE = 2; - /** Event definition to post interrupt to CPU after a delay - */ - class PostVIntEvent : public Event - { - private: - uint32_t cpu; - Platform *platform; - public: - PostVIntEvent( uint32_t c, Platform* p) - : cpu(c), platform(p) - { } - void process() { platform->intrctrl->post(cpu, ArmISA::INT_VIRT_IRQ, 0);} - const char *description() const { return "Post VInterrupt to CPU"; } - }; + /** Post interrupt to CPU */ + void processPostVIntEvent(uint32_t cpu); - PostVIntEvent *postVIntEvent[VGIC_CPU_MAX]; + EventFunctionWrapper *postVIntEvent[VGIC_CPU_MAX]; bool maintIntPosted[VGIC_CPU_MAX]; bool vIntPosted[VGIC_CPU_MAX]; |