vm_get_cpuid
int vm_get_cpuid(struct vm *, int, vcpu_cpuid_config_t *);
error = vm_get_cpuid(sc->vmm_vm, vcpu, &vm_cfg);