Searched refs:TDX_R14 (Results 1 – 1 of 1) sorted by relevance
44 #define TDX_R14 BIT(14) macro56 TDX_R10 | TDX_R11 | TDX_R12 | TDX_R13 | TDX_R14 | TDX_R15)