diff options
Diffstat (limited to 'docs/components/platform-interrupt-controller-API.rst')
| -rw-r--r-- | docs/components/platform-interrupt-controller-API.rst | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/docs/components/platform-interrupt-controller-API.rst b/docs/components/platform-interrupt-controller-API.rst index 7890cd38f..9d02f45c0 100644 --- a/docs/components/platform-interrupt-controller-API.rst +++ b/docs/components/platform-interrupt-controller-API.rst @@ -3,9 +3,8 @@ Platform Interrupt Controller API 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`__. - -.. __: ../getting_started/porting-guide.rst#interrupt-management-framework-in-bl31 +generic code. The mandatory APIs are described in the +:ref:`Porting Guide <porting_guide_imf_in_bl31>`. Function: unsigned int plat_ic_get_running_priority(void); [optional] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ @@ -303,6 +302,6 @@ should return ``INTR_ID_UNAVAILABLE``. In case of Arm standard platforms using GIC, the implementation of the API masks out the interrupt ID field from the acknowledged value from GIC. ----- +-------------- -*Copyright (c) 2017-2018, Arm Limited and Contributors. All rights reserved.* +*Copyright (c) 2017-2019, Arm Limited and Contributors. All rights reserved.* |