diff options
author | Sandrine Bailleux <sandrine.bailleux@arm.com> | 2014-12-05 13:44:01 +0000 |
---|---|---|
committer | Sandrine Bailleux <sandrine.bailleux@arm.com> | 2014-12-05 13:45:09 +0000 |
commit | 71232682a907c20f89b14c9463dc1167704f1263 (patch) | |
tree | 844d8fc08ba237c29442d22b7862f72bba5179cd /framework/main.c | |
parent | ad50894655490b76107d884b008f3c4ada9f5247 (diff) |
Do not register any IRQ handler for IRQ_WAKE_SGI
The timer management framework uses SGI number 'IRQ_WAKE_SGI'
as the way to notify CPUs when the system timer fires off.
Therefore, this SGI needs to be enabled on all CPUs. However,
there is no need to register a particular handler for this IRQ.
Also, the choice of SGI used by the timer management framework is
not platform-specific. Therefore, the definition of the constant
'IRQ_WAKE_SGI' is moved to the generic header file 'irq.h'.
Change-Id: I3105dfb96f52c02946c356cddeef2e62133a1f40
Diffstat (limited to 'framework/main.c')
-rw-r--r-- | framework/main.c | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/framework/main.c b/framework/main.c index 4e35c81..6c316ec 100644 --- a/framework/main.c +++ b/framework/main.c @@ -325,13 +325,7 @@ void __dead2 tftf_cold_boot_main(void) tftf_exit(); } - /* Register IRQ_WAKE_SGI as a wake handler */ - rc = tftf_irq_register_handler(IRQ_WAKE_SGI, tftf_sgi_generic_wake_handler); - if (rc != 0) { - mp_printf("Error: (%d): Failed to enable SGI wake interrupt on" - " CPU: 0x%x\n", rc, (unsigned int) read_mpidr_el1()); - tftf_exit(); - } + /* Enable the SGI used by the timer management framework */ tftf_irq_enable(IRQ_WAKE_SGI, GIC_HIGHEST_NS_PRIORITY); /* Initialize NVM if necessary. */ |