pub const CPUID_EXT_DTES64: u32 = 4;