pub const XED_MAX_CPUID_RECS_PER_GROUP: u32 = 4;