XEN_LEGACY_MAX_VCPUS
for (i = 0; i < XEN_LEGACY_MAX_VCPUS; i++) {
struct vcpu_info vcpu_info[XEN_LEGACY_MAX_VCPUS];