xen_vcpu_stolen   173 arch/x86/xen/smp.c 		if (xen_vcpu_stolen(cpu)) {
xen_vcpu_stolen   105 arch/x86/xen/spinlock.c PV_CALLEE_SAVE_REGS_THUNK(xen_vcpu_stolen);
xen_vcpu_stolen   135 arch/x86/xen/spinlock.c 	pv_ops.lock.vcpu_is_preempted = PV_CALLEE_SAVE(xen_vcpu_stolen);
xen_vcpu_stolen    77 arch/x86/xen/xen-ops.h bool xen_vcpu_stolen(int vcpu);
xen_vcpu_stolen    34 include/xen/xen-ops.h bool xen_vcpu_stolen(int vcpu);