Constant ippCPUID_RDRAND 

pub const ippCPUID_RDRAND: u32 = 8192;