diff options
Diffstat (limited to 'src/dev')
-rw-r--r-- | src/dev/arm/gic_v3_cpu_interface.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dev/arm/gic_v3_cpu_interface.cc b/src/dev/arm/gic_v3_cpu_interface.cc index 0d444f165..b793f7c28 100644 --- a/src/dev/arm/gic_v3_cpu_interface.cc +++ b/src/dev/arm/gic_v3_cpu_interface.cc @@ -191,6 +191,7 @@ Gicv3CPUInterface::readMiscReg(int misc_reg) return readMiscReg(MISCREG_ICV_IGRPEN1_EL1); } + value = readBankedMiscReg(MISCREG_ICC_IGRPEN1_EL1); break; } @@ -1358,7 +1359,8 @@ Gicv3CPUInterface::setMiscReg(int misc_reg, RegVal val) icc_igrpen1_el3); } - break; + setBankedMiscReg(MISCREG_ICC_IGRPEN1_EL1, val); + return; } // Virtual Interrupt Group 1 Enable register |