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