Constant TEE_ATTR_DH_PRIME 

pub const TEE_ATTR_DH_PRIME: u32 = 3489665074;