commit d55a445069736e2652b44ddfeb9ea4d306796a0a
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:02 2017 +0100
tree f9620e1ed0aee2e1cc3598c7d3e6dbdeef9283a1
parent a2816a16440d9eb1223ba505bc30faf6cd31b0ee

GIC: Add API to set priority mask

API documentation updated.

Change-Id: I40feec1fe67a960d035061b54dd55610bc34ce1d
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 ab5d68e..f03a399 100644
--- a/include/plat/common/platform.h
+++ b/include/plat/common/platform.h
@@ -87,6 +87,7 @@
 		u_register_t mpidr);
 void plat_ic_set_interrupt_pending(unsigned int id);
 void plat_ic_clear_interrupt_pending(unsigned int id);
+unsigned int plat_ic_set_priority_mask(unsigned int mask);
 
 /*******************************************************************************
  * Optional common functions (may be overridden)