diff options
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2019-02-28 13:35:21 +0000 |
|---|---|---|
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2019-02-28 13:35:21 +0000 |
| commit | 73308618fee8afc4518c592956b31864e57e48e7 (patch) | |
| tree | d3aa4921ae1a58dc4f15c4fd311cdf2b58093cbb /docs/platform-interrupt-controller-API.rst | |
| parent | 1baa28bb2dc79f23c550d67604324afd222221c3 (diff) | |
Minor changes to documentation and comments
Fix some typos and clarify some sentences.
Change-Id: Id276d1ced9a991b4eddc5c47ad9a825e6b29ef74
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
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 230a9905..ad68709a 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. |