__kvm_vcpu_is_preempted  803 arch/x86/kernel/kvm.c PV_CALLEE_SAVE_REGS_THUNK(__kvm_vcpu_is_preempted);
__kvm_vcpu_is_preempted  854 arch/x86/kernel/kvm.c 			PV_CALLEE_SAVE(__kvm_vcpu_is_preempted);