|
@@ -1280,7 +1280,7 @@ static int hvf_sysreg_read(CPUState *cpu, uint32_t reg, uint64_t *val)
|
|
case SYSREG_ICC_SRE_EL1:
|
|
case SYSREG_ICC_SRE_EL1:
|
|
case SYSREG_ICC_CTLR_EL1:
|
|
case SYSREG_ICC_CTLR_EL1:
|
|
/* Call the TCG sysreg handler. This is only safe for GICv3 regs. */
|
|
/* Call the TCG sysreg handler. This is only safe for GICv3 regs. */
|
|
- if (hvf_sysreg_read_cp(cpu, reg, &val)) {
|
|
|
|
|
|
+ if (hvf_sysreg_read_cp(cpu, reg, val)) {
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|
|
break;
|
|
break;
|