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