arm-trusted-firmware/docs/platform-interrupt-controll...

2.8 KiB

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> <head> </head>

Platform Interrupt Controller API documentation

This document lists the optional platform interrupt controller API that abstracts the runtime configuration and control of interrupt controller from the generic code. The mandatory APIs are described in the porting guide.

1.   Function: unsigned int plat_ic_get_running_priority(void); [optional]

Argument : void
Return   : unsigned int

This API should return the priority of the interrupt the PE is currently servicing. This must be be called only after an interrupt has already been acknowledged via. plat_ic_acknowledge_interrupt.

In the case of ARM standard platforms using GIC, the Running Priority Register is read to determine the priority of the interrupt.

2.   Function: int plat_ic_is_spi(unsigned int id); [optional]

Argument : unsigned int
Return   : int

The API should return whether the interrupt ID (first parameter) is categorized as a Shared Peripheral Interrupt. Shared Peripheral Interrupts are typically associated to system-wide peripherals, and these interrupts can target any PE in the system.

3.   Function: int plat_ic_is_ppi(unsigned int id); [optional]

Argument : unsigned int
Return   : int

The API should return whether the interrupt ID (first parameter) is categorized as a Private Peripheral Interrupt. Private Peripheral Interrupts are typically associated with peripherals that are private to each PE. Interrupts from private peripherals target to that PE only.

4.   Function: int plat_ic_is_sgi(unsigned int id); [optional]

Argument : unsigned int
Return   : int

The API should return whether the interrupt ID (first parameter) is categorized as a Software Generated Interrupt. Software Generated Interrupts are raised by explicit programming by software, and are typically used in inter-PE communication. Secure SGIs are reserved for use by Secure world software.

5.   Function: unsigned int plat_ic_get_interrupt_active(unsigned int id); [optional]

Argument : unsigned int
Return   : int

This API should return the active status of the interrupt ID specified by the first parameter, id.

In case of ARM standard platforms using GIC, the implementation of the API reads the GIC Set Active Register to read and return the active status of the interrupt.


Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.

</html>