Constant xed_sys::XED_EXTENSION_X87

pub const XED_EXTENSION_X87: xed_extension_enum_t = 70;