hpa_t shadow_addr;
        int level;
        u64 *shadow_ent;
-       u64 *prev_shadow_ent = NULL;
 
        if (!is_present_pte(walker->pte))
                return NULL;
                        if (level == PT_PAGE_TABLE_LEVEL)
                                break;
                        shadow_addr = *shadow_ent & PT64_BASE_ADDR_MASK;
-                       prev_shadow_ent = shadow_ent;
                        continue;
                }
 
                shadow_pte = shadow_addr | PT_PRESENT_MASK | PT_ACCESSED_MASK
                        | PT_WRITABLE_MASK | PT_USER_MASK;
                *shadow_ent = shadow_pte;
-               prev_shadow_ent = shadow_ent;
        }
 
        FNAME(set_pte)(vcpu, walker->pte, shadow_ent,