On 26 September 2013 22:03, Christoffer Dall
christoffer.d...@linaro.org wrote:
@@ -606,10 +607,13 @@ static void gic_cpu_write(GICState *s, int cpu, int
offset, uint32_t value)
s-priority_mask[cpu] = (value 0xff);
break;
case 0x08: /* Binary Point */
-/* ???
Add a binary_point field to the gic emulation structure and support
setting/getting this register now when we have it. We don't actually
support interrupt grouping yet, oh well.
Signed-off-by: Christoffer Dall christoffer.d...@linaro.org
Changelog [v2]:
- Renamed binary_point to bpr and abpr
