commit | 6df380404d8c9f4cf7cdf3fb0a0d6a0f28993a4b | [log] [tgz] |
---|---|---|
author | Arve Hjønnevåg <arve@android.com> | Thu Oct 24 19:12:22 2013 -0700 |
committer | Arve Hjønnevåg <arve@android.com> | Thu Oct 24 20:36:35 2013 -0700 |
tree | 622c0f42663f0537e20428d0517668e3c2907262 | |
parent | 24c1493ba46641a6ac8976a89b38d6b0ce7fd557 [diff] |
arm_gic: Don't allow writes to configuration registers for internal interrupts. Changing SGIs from edge to level trigger was already prevented, but writing to the configuration registers for PPIs would change them to edge triggered (even if the request was level trigger). Change-Id: I8e08640bb7eeace7c4dc0e06ef787008bd56b940