Symbol: vcpu_online
drivers/xen/cpu_hotplug.c
60
switch (vcpu_online(cpu)) {
drivers/xen/cpu_hotplug.c
96
if (vcpu_online(cpu) == 0)