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);