static void FNAME(set_pte)(struct kvm_vcpu *vcpu, u64 *shadow_pte,
                           unsigned pt_access, unsigned pte_access,
                           int user_fault, int write_fault, int dirty,
-                          int *ptwrite, struct guest_walker *walker,
-                          gfn_t gfn)
+                          int *ptwrite, gfn_t gfn)
 {
        u64 spte;
        int was_rmapped = is_rmap_pte(*shadow_pte);
        pgprintk("%s: gpte %llx spte %p\n", __FUNCTION__, (u64)gpte, spte);
        pte_access = page->role.access & FNAME(gpte_access)(vcpu, gpte);
        FNAME(set_pte)(vcpu, spte, page->role.access, pte_access, 0, 0,
-                      gpte & PT_DIRTY_MASK, NULL, NULL, gpte_to_gfn(gpte));
+                      gpte & PT_DIRTY_MASK, NULL, gpte_to_gfn(gpte));
 }
 
 /*
 
        FNAME(set_pte)(vcpu, shadow_ent, access, walker->pte_access & access,
                       user_fault, write_fault, walker->pte & PT_DIRTY_MASK,
-                      ptwrite, walker, walker->gfn);
+                      ptwrite, walker->gfn);
 
        return shadow_ent;
 }