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