On 19.04.2024 09:05, Nicola Vetrini wrote:
> --- a/xen/common/domain.c
> +++ b/xen/common/domain.c
> @@ -457,6 +457,7 @@ static int domain_teardown(struct domain *d)
>
> for_each_vcpu ( d, v )
> {
> + /* SAF-5-safe MISRA C Rule 16.2: switch label enclosed by for
> loop*/
> PROGRESS_VCPU(teardown);Nit: Missing blank at the end of the comment, which I'll try to remember to take care of when committing. Jan
