Searched refs:TDX_R9 (Results 1 – 1 of 1) sorted by relevance
50 #define TDX_R9 BIT(9) macro66 (TDX_RDX | TDX_RBX | TDX_RSI | TDX_RDI | TDX_R8 | TDX_R9 | \