commit f3a866004ea8f9a0cd5420f3dd4d4683f638e6da
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> Fri Sep 22 08:32:09 2017 +0100
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> Mon Oct 16 16:50:01 2017 +0100
tree 03d8cabe2d19f5a9f46e3bce352a50becb182c30
parent 979225f4eed00d631bb57ebd09068edd91b8df7b

GIC: Add API to set interrupt priority

API documentation updated.

Change-Id: Ib700eb1b8ca65503aeed0ac4ce0e7b934df67ff9
Co-authored-by: Yousuf A <yousuf.sait@arm.com>
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>

include/plat/common/platform.h

diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h
index 671aa61..03f529c 100644
--- a/include/plat/common/platform.h
+++ b/include/plat/common/platform.h
@@ -79,6 +79,7 @@
 unsigned int plat_ic_get_interrupt_active(unsigned int id);
 void plat_ic_disable_interrupt(unsigned int id);
 void plat_ic_enable_interrupt(unsigned int id);
+void plat_ic_set_interrupt_priority(unsigned int id, unsigned int priority);
 
 /*******************************************************************************
  * Optional common functions (may be overridden)