tree f9620e1ed0aee2e1cc3598c7d3e6dbdeef9283a1
parent eb1c12cfe9c02e29b537603d919f16c926bb63eb
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1506065529 +0100
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1508169002 +0100

GIC: Add API to set priority mask

API documentation updated.

Change-Id: I40feec1fe67a960d035061b54dd55610bc34ce1d
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>