Searched refs:vcpu_cpuid_init (Results 1 – 3 of 3) sorted by relevance
303 vcpu_cpuid_init(vcpu_cpuid_config_t *cfg) in vcpu_cpuid_init() function
397 vcpu_cpuid_init(&vcpu->cpuid_cfg); in vcpu_init()
434 void vcpu_cpuid_init(vcpu_cpuid_config_t *);