Constant optee_utee_sys::TEE_ATTR_DH_PRIME

pub const TEE_ATTR_DH_PRIME: u32 = 0xD0001032;