xen_vcpu_stolen   429 arch/x86/xen/smp.c 		if (xen_vcpu_stolen(cpu)) {
xen_vcpu_stolen    48 arch/x86/xen/xen-ops.h bool xen_vcpu_stolen(int vcpu);