Constant PF_RDTSC_INSTRUCTION_AVAILABLE 

pub const PF_RDTSC_INSTRUCTION_AVAILABLE: u32 = 8;