Symbol: VCPU_REG_EXIT_INFO_1
arch/x86/kvm/vmx/tdx.c
1012
#define TDX_REGS_AVAIL_SET (BIT(VCPU_REG_EXIT_INFO_1) | \
arch/x86/kvm/vmx/vmx.c
7526
kvm_register_mark_available(vcpu, VCPU_REG_EXIT_INFO_1);
arch/x86/kvm/vmx/vmx.h
326
if (!kvm_register_test_and_mark_available(vcpu, VCPU_REG_EXIT_INFO_1) &&
arch/x86/kvm/vmx/vmx.h
636
BIT(VCPU_REG_EXIT_INFO_1) | \