kvm_walk_nested_s2
extern int kvm_walk_nested_s2(struct kvm_vcpu *vcpu, phys_addr_t gipa,
ret = kvm_walk_nested_s2(vcpu, ipa, &out);
ret = kvm_walk_nested_s2(vcpu, ipa, &s2_trans);
ret = kvm_walk_nested_s2(vcpu, fault_ipa, &nested_trans);