Symbol: hypervisor_pin_vcpu
kernel/smp.c
1174
hypervisor_pin_vcpu(sscs->cpu);
kernel/smp.c
1177
hypervisor_pin_vcpu(-1);
kernel/up.c
66
hypervisor_pin_vcpu(0);
kernel/up.c
69
hypervisor_pin_vcpu(-1);