On 17/04/2020 15:26, Jan Beulich wrote:
> Signed-off-by: Jan Beulich
>
> --- a/xen/arch/x86/mm/shadow/common.c
> +++ b/xen/arch/x86/mm/shadow/common.c
> @@ -2376,7 +2376,6 @@ void sh_reset_l3_up_pointers(struct vcpu
> static void sh_update_paging_modes(struct vcpu *v)
> {
> struct domain *d
Signed-off-by: Jan Beulich
--- a/xen/arch/x86/mm/shadow/common.c
+++ b/xen/arch/x86/mm/shadow/common.c
@@ -2376,7 +2376,6 @@ void sh_reset_l3_up_pointers(struct vcpu
static void sh_update_paging_modes(struct vcpu *v)
{
struct domain *d = v->domain;
-const struct paging_mode *old_mode =
