hypervisor_pin_vcpu  792 kernel/smp.c   		hypervisor_pin_vcpu(sscs->cpu);
hypervisor_pin_vcpu  795 kernel/smp.c   		hypervisor_pin_vcpu(-1);
hypervisor_pin_vcpu  103 kernel/up.c    		hypervisor_pin_vcpu(0);
hypervisor_pin_vcpu  106 kernel/up.c    		hypervisor_pin_vcpu(-1);