Constant CPUID_EXT3_OSVW 

pub const CPUID_EXT3_OSVW: u32 = 512;