EverCrypt_AutoConfig2_has_rdrand

Function EverCrypt_AutoConfig2_has_rdrand 

Source
pub unsafe extern "C" fn EverCrypt_AutoConfig2_has_rdrand() -> bool