tree dc4e87d062319d299f26ab36a2073dfdb3d71ad3
parent a876d433f5afc5a736b6064a9b32c263dbab93d7
author Kevin Peng <kevin.peng@arm.com> 1610335252 +0800
committer Kevin Peng <kevin.peng@arm.com> 1611193556 +0000

SPM: Change data type of irq line to uint32_t

This patch changes the data type of irq line from IRQn_Type to
uint32_t to remove the platform dependency.
Also updated the get_irq_line_for_signal function to align between
the two models.

Change-Id: Ifc381b913d60797b06facd8ccb5d26ba01327372
Signed-off-by: Kevin Peng <kevin.peng@arm.com>