xen_pin_vcpu      296 arch/x86/xen/enlighten_hvm.c 	.runtime.pin_vcpu       = xen_pin_vcpu,
xen_pin_vcpu     1461 arch/x86/xen/enlighten_pv.c 	.runtime.pin_vcpu       = xen_pin_vcpu,
xen_pin_vcpu      150 arch/x86/xen/xen-ops.h void xen_pin_vcpu(int cpu);