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