blob: d0a2ad27690892ed95ce97727428df4d9918a4c3 [file] [log] [blame]
Jeenu Viswambharanb1e957e2017-09-22 08:32:09 +01001Platform Interrupt Controller API documentation
2===============================================
3
4.. section-numbering::
5 :suffix: .
6
7.. contents::
8
9This document lists the optional platform interrupt controller API that
10abstracts the runtime configuration and control of interrupt controller from the
11generic code. The mandatory APIs are described in the `porting guide`__.
12
13.. __: porting-guide.rst#interrupt-management-framework-in-bl31
14
15Function: unsigned int plat_ic_get_running_priority(void); [optional]
16~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
17
18::
19
20 Argument : void
21 Return : unsigned int
22
23This API should return the priority of the interrupt the PE is currently
24servicing. This must be be called only after an interrupt has already been
25acknowledged via. ``plat_ic_acknowledge_interrupt``.
26
27In the case of ARM standard platforms using GIC, the *Running Priority Register*
28is read to determine the priority of the interrupt.
29
Jeenu Viswambharan522a4652017-09-22 08:32:09 +010030Function: int plat_ic_is_spi(unsigned int id); [optional]
31~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
32
33::
34
35 Argument : unsigned int
36 Return : int
37
38The API should return whether the interrupt ID (first parameter) is categorized
39as a Shared Peripheral Interrupt. Shared Peripheral Interrupts are typically
40associated to system-wide peripherals, and these interrupts can target any PE in
41the system.
42
43Function: int plat_ic_is_ppi(unsigned int id); [optional]
44~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
45
46::
47
48 Argument : unsigned int
49 Return : int
50
51The API should return whether the interrupt ID (first parameter) is categorized
52as a Private Peripheral Interrupt. Private Peripheral Interrupts are typically
53associated with peripherals that are private to each PE. Interrupts from private
54peripherals target to that PE only.
55
56Function: int plat_ic_is_sgi(unsigned int id); [optional]
57~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
58
59::
60
61 Argument : unsigned int
62 Return : int
63
64The API should return whether the interrupt ID (first parameter) is categorized
65as a Software Generated Interrupt. Software Generated Interrupts are raised by
66explicit programming by software, and are typically used in inter-PE
67communication. Secure SGIs are reserved for use by Secure world software.
68
Jeenu Viswambharan24e70292017-09-22 08:32:09 +010069Function: unsigned int plat_ic_get_interrupt_active(unsigned int id); [optional]
70~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
71
72::
73
74 Argument : unsigned int
75 Return : int
76
77This API should return the *active* status of the interrupt ID specified by the
78first parameter, ``id``.
79
80In case of ARM standard platforms using GIC, the implementation of the API reads
81the GIC *Set Active Register* to read and return the active status of the
82interrupt.
83
Jeenu Viswambharanb1e957e2017-09-22 08:32:09 +010084----
85
86*Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.*