pub const XED_CHIP_IVYBRIDGE: xed_chip_enum_t = 48;