Searched refs:TDX_RBX (Results 1 – 1 of 1) sorted by relevance
17 #define TDX_RBX BIT(3) macro37 ( TDX_RDX | TDX_RBX | TDX_RSI | TDX_RDI | TDX_R8 | TDX_R9 | \