diff --git a/src/dev/arm/base_gic.hh b/src/dev/arm/base_gic.hh
index 73d73e4714..c5dfa3e827 100644
--- a/src/dev/arm/base_gic.hh
+++ b/src/dev/arm/base_gic.hh
@@ -128,6 +128,9 @@ class ArmInterruptPin : public SimObject
      */
     void setThreadContext(ThreadContext *tc);
 
+    /** Get interrupt number */
+    uint32_t num() const { return intNum; }
+
     /** Signal an interrupt */
     virtual void raise() = 0;
     /** Clear a signalled interrupt */