pub const CPUID_EXT3_CR8LEG: u32 = 16;