On 09/06/15 14:52, Jan Beulich wrote:
> Signed-off-by: Jan Beulich
Reviewed-by: Andrew Cooper
>
> --- a/xen/common/efi/boot.c
> +++ b/xen/common/efi/boot.c
> @@ -1195,7 +1195,7 @@ void __init efi_init_memory(void)
> }
>
> if ( desc->Attribute & EFI_MEMORY_WP )
> -
Signed-off-by: Jan Beulich
--- a/xen/common/efi/boot.c
+++ b/xen/common/efi/boot.c
@@ -1195,7 +1195,7 @@ void __init efi_init_memory(void)
}
if ( desc->Attribute & EFI_MEMORY_WP )
-prot &= _PAGE_RW;
+prot &= ~_PAGE_RW;
if ( desc->Attribute & EF