@@ -1186,6 +1186,7 @@ void cpuid_hypervisor_leaves(const struct vcpu *v, uint32_t leaf,
default:
ASSERT_UNREACHABLE();
+ break;
}
}
@@ -1748,6 +1749,7 @@ static void io_check_error(const struct cpu_user_regs *regs)
{
case 'd': /* 'dom0' */
nmi_hwdom_report(_XEN_NMIREASON_io_error);
+ break;
case 'i': /* 'ignore' */
break;
default: /* 'fatal' */
@@ -1768,6 +1770,7 @@ static void unknown_nmi_error(const struct cpu_user_regs *regs,
{
case 'd': /* 'dom0' */
nmi_hwdom_report(_XEN_NMIREASON_unknown);
+ break;
case 'i': /* 'ignore' */
break;
default: /* 'fatal' */