| commit | d651444dbf8af93e21c4e205d6ada440d9c679ce | [log] [tgz] |
|---|---|---|
| author | Marek Bykowski <marek.bykowski@gmail.com> | Tue Dec 17 07:41:43 2019 -0600 |
| committer | Marek Bykowski <marek.bykowski@gmail.com> | Thu Dec 19 11:17:56 2019 +0100 |
| tree | 2741a66b24a4e5b681ed6bc860e552d9f88125a5 | |
| parent | 69a0bfc0abf7ca48ed425d260549822d1fe1b3bb [diff] |
arm: gic: Don't assume the GIC base addresses are within 4G range. There are systems out where the GIC registers (but not only) are memory-mapped to addresses above the 4G range, eg. 0x80_0000_0000 to 0xFF_FFFF_FFFF. After following a flat (one to one) mapping a 32-bit unsigned int isn't big enough for the 40-bit addresses. Change that to uintptr_t. Signed-off-by: Marek Bykowski <marek.bykowski@gmail.com> Change-Id: Ida47495e9b2d6f4f93cbfc6eb2e497d449d6a208