diff options
Diffstat (limited to 'plat/common/plat_gicv3.c')
| -rw-r--r-- | plat/common/plat_gicv3.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/plat/common/plat_gicv3.c b/plat/common/plat_gicv3.c index e5bf014d..52ceb6a7 100644 --- a/plat/common/plat_gicv3.c +++ b/plat/common/plat_gicv3.c @@ -266,6 +266,11 @@ void plat_ic_clear_interrupt_pending(unsigned int id) assert(id >= MIN_PPI_ID); gicv3_clear_interrupt_pending(id, plat_my_core_pos()); } + +unsigned int plat_ic_set_priority_mask(unsigned int mask) +{ + return gicv3_set_pmr(mask); +} #endif #ifdef IMAGE_BL32 |