kvmhv_invalidate_shadow_pte
kvmhv_invalidate_shadow_pte(vcpu, gp, addr, &shadow_shift);
kvmhv_invalidate_shadow_pte(vcpu, gp, n_gpa, NULL);