aboutsummaryrefslogtreecommitdiff
path: root/include/plat/common/platform.h
diff options
context:
space:
mode:
authorJeenu Viswambharan <jeenu.viswambharan@arm.com>2017-09-22 08:32:09 +0100
committerJeenu Viswambharan <jeenu.viswambharan@arm.com>2017-10-16 16:50:02 +0100
commitd55a445069736e2652b44ddfeb9ea4d306796a0a (patch)
treef9620e1ed0aee2e1cc3598c7d3e6dbdeef9283a1 /include/plat/common/platform.h
parenta2816a16440d9eb1223ba505bc30faf6cd31b0ee (diff)
downloadtrusted-firmware-a-d55a445069736e2652b44ddfeb9ea4d306796a0a.tar.gz
GIC: Add API to set priority mask
API documentation updated. Change-Id: I40feec1fe67a960d035061b54dd55610bc34ce1d Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
Diffstat (limited to 'include/plat/common/platform.h')
-rw-r--r--include/plat/common/platform.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h
index ab5d68ed5c..f03a3997af 100644
--- a/include/plat/common/platform.h
+++ b/include/plat/common/platform.h
@@ -87,6 +87,7 @@ void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,
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)