From 73308618fee8afc4518c592956b31864e57e48e7 Mon Sep 17 00:00:00 2001 From: Antonio Nino Diaz Date: Thu, 28 Feb 2019 13:35:21 +0000 Subject: Minor changes to documentation and comments Fix some typos and clarify some sentences. Change-Id: Id276d1ced9a991b4eddc5c47ad9a825e6b29ef74 Signed-off-by: Antonio Nino Diaz --- docs/platform-interrupt-controller-API.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/platform-interrupt-controller-API.rst') 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. -- cgit v1.2.3