diff options
| author | Soby Mathew <soby.mathew@arm.com> | 2014-05-28 17:14:36 +0100 |
|---|---|---|
| committer | Soby Mathew <soby.mathew@arm.com> | 2014-05-29 16:54:10 +0100 |
| commit | a37810853630098559d93f1b9ecdc222e63ef9cf (patch) | |
| tree | 41b7ec55e26ace7c19c2f8849bc25eb1ded655f3 /services | |
| parent | b460b8bf23633195535006b29e14c615f888fa24 (diff) | |
Fix compilation issue for IMF_READ_INTERRUPT_ID build flag
This patch fixes the compilation issue for trusted firmware when the
IMF_READ_INTERRUPT_ID is enabled.
Change-Id: I94ab613b9bc96a7c1935796c674dc42246aaafee
Diffstat (limited to 'services')
| -rw-r--r-- | services/spd/tspd/tspd_main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/services/spd/tspd/tspd_main.c b/services/spd/tspd/tspd_main.c index 4477fd7..1a6913a 100644 --- a/services/spd/tspd/tspd_main.c +++ b/services/spd/tspd/tspd_main.c @@ -90,7 +90,7 @@ static uint64_t tspd_sel1_interrupt_handler(uint32_t id, #if IMF_READ_INTERRUPT_ID /* Check the security status of the interrupt */ - assert(ic_get_interrupt_group(id) == SECURE); + assert(plat_ic_get_interrupt_type(id) == INTR_TYPE_S_EL1); #endif /* Sanity check the pointer to this cpu's context */ |