387.1 --- a/xen/arch/x86/shadow.c	Wed Aug 17 12:33:56 2005 -0800
   387.2 +++ b/xen/arch/x86/shadow.c	Wed Aug 17 12:34:38 2005 -0800
   387.3 @@ -671,6 +671,7 @@ static void shadow_invlpg_32(struct vcpu
   387.4                           sizeof(gpte))) {*/
   387.5      if (unlikely(!__guest_get_l1e(v, va, &gpte))) {
   387.6          perfc_incrc(shadow_invlpg_faults);
   387.7 +        shadow_unlock(d);
   387.8          return;
   387.9      }
  387.10      l1pte_propagate_from_guest(d, gpte, &spte);

   388.1 --- a/xen/arch/x86/shadow32.c	Wed Aug 17 12:33:56 2005 -0800
   388.2 +++ b/xen/arch/x86/shadow32.c	Wed Aug 17 12:34:38 2005 -0800
   388.3 @@ -1685,6 +1685,7 @@ void shadow_invlpg(struct vcpu *v, unsig
   388.4      if (__copy_from_user(&gpte, &linear_pg_table[va >> PAGE_SHIFT],
   388.5                           sizeof(gpte))) {
   388.6          perfc_incrc(shadow_invlpg_faults);
   388.7 +        shadow_unlock(d);
   388.8          return;
   388.9      }
  388.10      l1pte_propagate_from_guest(d, gpte, &spte);