Searched refs:TDX_R11 (Results 1 – 1 of 1) sorted by relevance
52 #define TDX_R11 BIT(11) macro67 TDX_R10 | TDX_R11 | TDX_R12 | TDX_R13 | TDX_R14 | TDX_R15)