diff options
| author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | 2019-03-01 09:16:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-01 09:16:58 +0000 |
| commit | dbd0bcfe008c08a7377e28d947d5354846cdc349 (patch) | |
| tree | f32e09ed8c16f4d60da7100c9bdef0dd5cfae1bb /docs/platform-interrupt-controller-API.rst | |
| parent | 64503b2f81bbd12051d8e0fd065a5a0b0c38bd2a (diff) | |
| parent | 73308618fee8afc4518c592956b31864e57e48e7 (diff) | |
| download | platform_external_arm-trusted-firmware-dbd0bcfe008c08a7377e28d947d5354846cdc349.tar.gz platform_external_arm-trusted-firmware-dbd0bcfe008c08a7377e28d947d5354846cdc349.tar.bz2 platform_external_arm-trusted-firmware-dbd0bcfe008c08a7377e28d947d5354846cdc349.zip | |
Merge pull request #1848 from antonio-nino-diaz-arm/an/docs
Minor changes to documentation and comments
Diffstat (limited to 'docs/platform-interrupt-controller-API.rst')
| -rw-r--r-- | docs/platform-interrupt-controller-API.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/platform-interrupt-controller-API.rst b/docs/platform-interrupt-controller-API.rst index 230a99055..ad68709a3 100644 --- a/docs/platform-interrupt-controller-API.rst +++ b/docs/platform-interrupt-controller-API.rst @@ -22,7 +22,7 @@ Function: unsigned int plat_ic_get_running_priority(void); [optional] 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``. +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. |