is_64_bit_hypercall
longmode = is_64_bit_hypercall(vcpu);
if (is_64_bit_hypercall(vcpu)) {
code = is_64_bit_hypercall(vcpu) ? kvm_rcx_read(vcpu) :
if (!is_64_bit_hypercall(vcpu))
int op_64_bit = is_64_bit_hypercall(vcpu);
longmode = is_64_bit_hypercall(vcpu);