Re: [Xen-devel] [PATCH v11 5/9] xen/x86: use DECLARE_BOUNDS as required

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 05.03.19 at 23:38, <sstabellini@xxxxxxxxxx> wrote:
> @@ -600,7 +602,9 @@ static void noinline init_done(void)
>      unregister_init_virtual_region();
>  
>      /* Zero the .init code and data. */
> -    for ( va = __init_begin; va < _p(__init_end); va += PAGE_SIZE )
> +    for ( va = (char *)__init_begin;
> +          init_lt(va, __init_end);
> +          va += PAGE_SIZE )
>          clear_page(va);

At the example of this - is casting away of const-ness not also a
potential certification hindrance?

Jan



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