vcpu_cpuid_cleanup
void vcpu_cpuid_cleanup(vcpu_cpuid_config_t *);
vcpu_cpuid_cleanup(&vcpu->cpuid_cfg);
vcpu_cpuid_cleanup(cfg);