>>> On 16.07.18 at 13:59, <jandr...@gmail.com> wrote:
> --- a/xen/arch/x86/tboot.c
> +++ b/xen/arch/x86/tboot.c
> @@ -391,7 +391,12 @@ void tboot_shutdown(uint32_t shutdown_type)
>          tboot_gen_xenheap_integrity(g_tboot_shared->s3_key, &xenheap_mac);
>      }
>  
> -    write_ptbase(idle_vcpu[0]);
> +    /* During early boot, we can be called by panic before idle_vcpu[0] is
> +     * setup, but in that case we don't need to change page tables. */
> +    if ( idle_vcpu[0] != INVALID_VCPU )
> +    {
> +        write_ptbase(idle_vcpu[0]);
> +    }

There are two style issues here: The comment wants to be properly
formatted, and the braces want to be dropped.

Also please honor patch submission rules - they get sent _to_ the
list, with maintainers _cc_-ed.

Jan



_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to