Symbol: VCPU_EXREG_EXIT_INFO_1
arch/x86/kvm/vmx/tdx.c
1020
#define TDX_REGS_AVAIL_SET (BIT_ULL(VCPU_EXREG_EXIT_INFO_1) | \
arch/x86/kvm/vmx/vmx.c
7626
kvm_register_mark_available(vcpu, VCPU_EXREG_EXIT_INFO_1);
arch/x86/kvm/vmx/vmx.h
323
if (!kvm_register_test_and_mark_available(vcpu, VCPU_EXREG_EXIT_INFO_1) &&
arch/x86/kvm/vmx/vmx.h
634
(1 << VCPU_EXREG_EXIT_INFO_1) | \