xen_vcpu_setup    180 arch/x86/xen/enlighten.c 			xen_vcpu_setup(cpu);
xen_vcpu_setup   1065 arch/x86/xen/enlighten.c 		xen_vcpu_setup(cpu);