Constant CCODE::PF_RDTSCP_INSTRUCTION_AVAILABLE

pub const PF_RDTSCP_INSTRUCTION_AVAILABLE: u32 = 32;