Searched refs:x86cpu (Results 1 – 1 of 1) sorted by relevance
749 X86CPU *x86cpu = X86_CPU(cpu); in tdx_cpu_instance_init() local761 x86cpu->force_cpuid_0x1f = true; in tdx_cpu_instance_init()924 static int setup_td_guest_attributes(X86CPU *x86cpu, Error **errp) in setup_td_guest_attributes() argument926 CPUX86State *env = &x86cpu->env; in setup_td_guest_attributes()930 tdx_guest->attributes |= x86cpu->enable_pmu ? TDX_TD_ATTRIBUTES_PERFMON : 0; in setup_td_guest_attributes()935 static int setup_td_xfam(X86CPU *x86cpu, Error **errp) in setup_td_xfam() argument937 CPUX86State *env = &x86cpu->env; in setup_td_xfam()983 X86CPU *x86cpu = X86_CPU(cpu); in tdx_pre_create_vcpu() local984 CPUX86State *env = &x86cpu->env; in tdx_pre_create_vcpu()1079 r = setup_td_guest_attributes(x86cpu, errp); in tdx_pre_create_vcpu()[all …]