diff options
Diffstat (limited to 'src/dev')
| -rw-r--r-- | src/dev/arm/gic_v3_redistributor.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dev/arm/gic_v3_redistributor.cc b/src/dev/arm/gic_v3_redistributor.cc index 75fd9b326..f071c5bc7 100644 --- a/src/dev/arm/gic_v3_redistributor.cc +++ b/src/dev/arm/gic_v3_redistributor.cc @@ -579,6 +579,9 @@ Gicv3Redistributor::write(Addr addr, uint64_t data, size_t size, break; + case GICR_ICFGR0: // SGI Configuration Register + // WI + return; case GICR_ICFGR1: { // PPI Configuration Register int first_intid = Gicv3::SGI_MAX; |