else if ((type == SHADOW_FAULT_WRITE) && (guest_pte & (1 << 1)))
      {  
         guest_pte |= (1 << 6);
         guest_pte &= 0xFFFFFFFD;
      }