Constant PF_RDTSCP_INSTRUCTION_AVAILABLE 

pub const PF_RDTSCP_INSTRUCTION_AVAILABLE: u32 = 32;