is_nested_ctxt
if (!is_nested_ctxt(vcpu))
if (is_nested_ctxt(vcpu)) {
if (unlikely(is_nested_ctxt(vcpu))) {
if (is_nested_ctxt(vcpu)) {
if (is_nested_ctxt(vcpu) &&
if (is_nested_ctxt(vcpu)) {
bool allowed, fwd = is_nested_ctxt(vcpu);
if (is_nested_ctxt(vcpu)) {
if (is_nested_ctxt(vcpu))
if (is_nested_ctxt(vcpu))
if (!is_nested_ctxt(vcpu))
if (is_nested_ctxt(vcpu) && kvm_sea_target_is_el2(vcpu))
if (is_nested_ctxt(vcpu) && (vcpu_read_sys_reg(vcpu, HCR_EL2) & HCR_VM))
if (is_nested_ctxt(vcpu) && kvm_serror_target_is_el2(vcpu))
if (is_nested_ctxt(vcpu) &&
if (is_nested_ctxt(vcpu))
if (is_nested_ctxt(vcpu)) {