The GIC code can write to the registers with 8, 16, or 32 byte accesses which could set/clear different numbers of interrupts.
--HG-- rename : src/dev/arm/Versatile.py => src/dev/arm/RealView.py rename : src/dev/arm/versatile.cc => src/dev/arm/realview.cc rename : src/dev/arm/versatile.hh => src/dev/arm/realview.hh