vcpu_info         537 include/xen/interface/xen.h 	struct vcpu_info vcpu_info[MAX_VIRT_CPUS];
vcpu_info           9 include/xen/xen-ops.h DECLARE_PER_CPU(struct vcpu_info *, xen_vcpu);