pub const IA32_CPU_DCA_CAP: u32 = 0x1f9;