1.1 --- a/xen/arch/x86/shadow.c	Wed Aug 17 11:21:37 2005 -0800
     1.2 +++ b/xen/arch/x86/shadow.c	Wed Aug 17 11:22:31 2005 -0800
     1.3 @@ -671,6 +671,7 @@ static void shadow_invlpg_32(struct vcpu
     1.4                           sizeof(gpte))) {*/
     1.5      if (unlikely(!__guest_get_l1e(v, va, &gpte))) {
     1.6          perfc_incrc(shadow_invlpg_faults);
     1.7 +        shadow_unlock(d);
     1.8          return;
     1.9      }
    1.10      l1pte_propagate_from_guest(d, gpte, &spte);

     2.1 --- a/xen/arch/x86/shadow32.c	Wed Aug 17 11:21:37 2005 -0800
     2.2 +++ b/xen/arch/x86/shadow32.c	Wed Aug 17 11:22:31 2005 -0800
     2.3 @@ -1685,6 +1685,7 @@ void shadow_invlpg(struct vcpu *v, unsig
     2.4      if (__copy_from_user(&gpte, &linear_pg_table[va >> PAGE_SHIFT],
     2.5                           sizeof(gpte))) {
     2.6          perfc_incrc(shadow_invlpg_faults);
     2.7 +        shadow_unlock(d);
     2.8          return;
     2.9      }
    2.10      l1pte_propagate_from_guest(d, gpte, &spte);