| commit | d55a445069736e2652b44ddfeb9ea4d306796a0a | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
GIC: Add API to set priority mask API documentation updated. Change-Id: I40feec1fe67a960d035061b54dd55610bc34ce1d Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
diff --git a/plat/common/plat_gicv2.c b/plat/common/plat_gicv2.c index 6460494..05fabca 100644 --- a/plat/common/plat_gicv2.c +++ b/plat/common/plat_gicv2.c
@@ -272,3 +272,8 @@ { gicv2_clear_interrupt_pending(id); } + +unsigned int plat_ic_set_priority_mask(unsigned int mask) +{ + return gicv2_set_pmr(mask); +}