Symbol: NBSD_XEN_MAX_VCPUS
sys/arch/xen/xen/evtchn.c
107
static evtchn_port_t vcpu_ipi_to_evtch[NBSD_XEN_MAX_VCPUS];
sys/arch/xen/xen/evtchn.c
110
static int virq_timer_to_evtch[NBSD_XEN_MAX_VCPUS];
sys/arch/xen/xen/evtchn.c
237
for (i = 0; i < NBSD_XEN_MAX_VCPUS; i++)
sys/arch/xen/xen/evtchn.c
241
for (i = 0; i < NBSD_XEN_MAX_VCPUS; i++)