dev-arm: Create a getter for ArmInterruptPin ID number
authorGiacomo Travaglini <giacomo.travaglini@arm.com>
Tue, 28 Aug 2018 14:34:34 +0000 (15:34 +0100)
committerGiacomo Travaglini <giacomo.travaglini@arm.com>
Mon, 10 Sep 2018 09:24:23 +0000 (09:24 +0000)
commita3e0eb0b24c0c7145bbf8a247178323f58760ad5
tree0c7797255b881afcdb0520d7554e2ccbd726a1e9
parent6b5d56b162057f05f0e0b59a2d1af57b1da76276
dev-arm: Create a getter for ArmInterruptPin ID number

A pin owner might want to know which is the irq number
associated with the pin.

Change-Id: I095393d4d25efe13eb2a75a0b0b055d386c2c126
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Reviewed-by: Ciro Santilli <ciro.santilli@arm.com>
Reviewed-on: https://gem5-review.googlesource.com/12298
Maintainer: Andreas Sandberg <andreas.sandberg@arm.com>
src/dev/arm/base_gic.hh