pub const XED_EXTENSION_MONITORX: xed_extension_enum_t = 48;