__kvm_vcpu_is_preempted
bool __kvm_vcpu_is_preempted(long cpu);
PV_CALLEE_SAVE_REGS_THUNK(__kvm_vcpu_is_preempted);
PV_CALLEE_SAVE(__kvm_vcpu_is_preempted);