hyperv_get_vcpuid
__weak_alias(hyperv_get_vcpuid, hyperv_nullop);
uint32_t hyperv_get_vcpuid(cpuid_t);
ch->ch_vcpu = hyperv_get_vcpuid(cpu);