diff options
author | davidcunado-arm <david.cunado@arm.com> | 2017-11-13 10:58:40 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-13 10:58:40 +0000 |
commit | c195f1a7055fbd7fd5487d6a6cc413b742604b09 (patch) | |
tree | 13526847798a2305f1712faf1b73edb21d9f6675 /docs/platform-interrupt-controller-API.rst | |
parent | bf2de7e49971159bc46b4215aed09150bea63176 (diff) | |
parent | cafad7be046802ce8c687362e2ec07cbbd7b1a9c (diff) |
Merge pull request #1152 from jeenu-arm/ehf-and-sdei
EHF and SDEI
Diffstat (limited to 'docs/platform-interrupt-controller-API.rst')
-rw-r--r-- | docs/platform-interrupt-controller-API.rst | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/platform-interrupt-controller-API.rst b/docs/platform-interrupt-controller-API.rst index 795c0856..c14f0053 100644 --- a/docs/platform-interrupt-controller-API.rst +++ b/docs/platform-interrupt-controller-API.rst @@ -292,6 +292,22 @@ inserts to order memory updates before updating mask, then writes to the GIC *Priority Mask Register*, and make sure memory updates are visible before potential trigger due to mask update. +Function: unsigned int plat_ic_get_interrupt_id(unsigned int raw); [optional] +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + +:: + + Argument : unsigned int + Return : unsigned int + +This API should extract and return the interrupt number from the raw value +obtained by the acknowledging the interrupt (read using +``plat_ic_acknowledge_interrupt()``). If the interrupt ID is invalid, this API +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, ARM Limited and Contributors. All rights reserved.* |