Searched refs:TDX_REGS_AVAIL_SET (Results 1 – 1 of 1) sorted by relevance
981 #define TDX_REGS_AVAIL_SET (BIT_ULL(VCPU_EXREG_EXIT_INFO_1) | \ macro1067 vcpu->arch.regs_avail &= TDX_REGS_AVAIL_SET; in tdx_vcpu_run()