ckc_interrupts_enabled
if (ckc_interrupts_enabled(vcpu)) {
if (!ckc_interrupts_enabled(vcpu) &&
return ckc_interrupts_enabled(vcpu);