|
@@ -1278,6 +1278,7 @@ static int hvf_sysreg_read(CPUState *cpu, uint32_t reg, uint32_t rt)
|
|
/* 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)) {
|
|
hvf_raise_exception(cpu, EXCP_UDEF, syn_uncategorized());
|
|
hvf_raise_exception(cpu, EXCP_UDEF, syn_uncategorized());
|
|
|
|
+ return 1;
|
|
}
|
|
}
|
|
break;
|
|
break;
|
|
case SYSREG_DBGBVR0_EL1:
|
|
case SYSREG_DBGBVR0_EL1:
|