SEFF0EBX_TSC_ADJUST
if (ISSET(ci->ci_feature_sefflags_ebx, SEFF0EBX_TSC_ADJUST)) {
#define VMM_SEFF0EBX_MASK ~(SEFF0EBX_TSC_ADJUST | SEFF0EBX_SGX | \
{ SEFF0EBX_TSC_ADJUST, "TSC_ADJUST" },