| commit | 6250507a8090adb9978e00e2ed59e2f407ff6912 | [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 | eb1c12cfe9c02e29b537603d919f16c926bb63eb [diff] |
GIC: Add API to set priority mask API documentation updated. Change-Id: I40feec1fe67a960d035061b54dd55610bc34ce1d Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>