kvm_s2_trans_exec_el0
if (!kvm_s2_trans_exec_el0(kvm, nested))
forward_fault = !kvm_s2_trans_exec_el0(vcpu->kvm, trans);