Constant TEE_ATTR_DH_SUBPRIME 

pub const TEE_ATTR_DH_SUBPRIME: u32 = 0xD0001132;