Searched refs:NBSD_XEN_MAX_VCPUS (Results 1 – 1 of 1) sorted by relevance
86 #define NBSD_XEN_MAX_VCPUS XEN_LEGACY_MAX_VCPUS macro89 #define NBSD_XEN_MAX_VCPUS HVM_MAX_VCPUS macro107 static evtchn_port_t vcpu_ipi_to_evtch[NBSD_XEN_MAX_VCPUS];110 static int virq_timer_to_evtch[NBSD_XEN_MAX_VCPUS];237 for (i = 0; i < NBSD_XEN_MAX_VCPUS; i++) in events_default_setup()241 for (i = 0; i < NBSD_XEN_MAX_VCPUS; i++) in events_default_setup()