commit | e01065472a588c4f7f52f88654c5b991498eb3dc | [log] [tgz] |
---|---|---|
author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | Tue Dec 18 10:05:22 2018 +0100 |
committer | GitHub <noreply@github.com> | Tue Dec 18 10:05:22 2018 +0100 |
tree | 87a282ac70779a34f08d3a40521b7f9e6aec0b58 | |
parent | ea9c332d124e3fd3285705a99c1a6537d515c32e [diff] | |
parent | 35cd9e816929bc52de2e130e699eba3c9f60b806 [diff] |
Merge pull request #1720 from jeenu-arm/gic-priority GIC: Remove lowest priority constants