ctxt_to_vcpu
vcpu = ctxt_to_vcpu(ctxt);
vcpu = ctxt_to_vcpu(ctxt);
vcpu = ctxt_to_vcpu(ctxt);
if (!vserror_state_is_nested(ctxt_to_vcpu(ctxt)))
if (!vserror_state_is_nested(ctxt_to_vcpu(ctxt)))
struct kvm_vcpu *vcpu = ctxt_to_vcpu(ctxt);
struct kvm *kvm = kern_hyp_va(ctxt_to_vcpu(ctxt)->kvm);
struct kvm_vcpu *vcpu = ctxt_to_vcpu(ctxt);
vcpu = ctxt_to_vcpu(ctxt);
vcpu = ctxt_to_vcpu(ctxt);