Symbol: TDX_BUILD_TDVPS_ACCESSORS
arch/x86/kvm/vmx/tdx.h
182
TDX_BUILD_TDVPS_ACCESSORS(16, VMCS, vmcs);
arch/x86/kvm/vmx/tdx.h
183
TDX_BUILD_TDVPS_ACCESSORS(32, VMCS, vmcs);
arch/x86/kvm/vmx/tdx.h
184
TDX_BUILD_TDVPS_ACCESSORS(64, VMCS, vmcs);
arch/x86/kvm/vmx/tdx.h
186
TDX_BUILD_TDVPS_ACCESSORS(8, MANAGEMENT, management);
arch/x86/kvm/vmx/tdx.h
187
TDX_BUILD_TDVPS_ACCESSORS(64, STATE_NON_ARCH, state_non_arch);