Lines Matching refs:x86cpu
742 X86CPU *x86cpu = X86_CPU(cpu); in tdx_cpu_instance_init() local
749 x86cpu->enable_cpuid_0x1f = true; in tdx_cpu_instance_init()
912 static int setup_td_guest_attributes(X86CPU *x86cpu, Error **errp) in setup_td_guest_attributes() argument
914 CPUX86State *env = &x86cpu->env; in setup_td_guest_attributes()
918 tdx_guest->attributes |= x86cpu->enable_pmu ? TDX_TD_ATTRIBUTES_PERFMON : 0; in setup_td_guest_attributes()
923 static int setup_td_xfam(X86CPU *x86cpu, Error **errp) in setup_td_xfam() argument
925 CPUX86State *env = &x86cpu->env; in setup_td_xfam()
971 X86CPU *x86cpu = X86_CPU(cpu); in tdx_pre_create_vcpu() local
972 CPUX86State *env = &x86cpu->env; in tdx_pre_create_vcpu()
1061 r = setup_td_guest_attributes(x86cpu, errp); in tdx_pre_create_vcpu()
1066 r = setup_td_xfam(x86cpu, errp); in tdx_pre_create_vcpu()