Constant xed_sys::XED_CHIP_PENTIUMREAL

pub const XED_CHIP_PENTIUMREAL: xed_chip_enum_t = 13;