Symbol: vcpu_is_up
sys/arch/xen/x86/cpu.c
1042
if (!vcpu_is_up(ci)) {
sys/arch/xen/x86/cpu.c
1056
if (vcpu_is_up(ci)) {