is_64_bit_mode
len = is_64_bit_mode(vcpu) ? 8 : 4;
len = is_64_bit_mode(vcpu) ? 8 : 4;
if (!is_64_bit_mode(vcpu)) {
} else if (likely(is_64_bit_mode(vcpu))) {
if (unlikely(((rip ^ orig_rip) >> 31) == 3) && !is_64_bit_mode(vcpu))
if (!is_64_bit_mode(vcpu))
(is_64_bit_mode(vcpu) || kvm_is_cr4_bit_set(vcpu, X86_CR4_PCIDE)))
if (is_64_bit_mode(vcpu))
return vcpu->arch.guest_state_protected || is_64_bit_mode(vcpu);
return is_64_bit_mode(vcpu) ? val : (u32)val;
if (!is_64_bit_mode(vcpu))