Constant TEE_ATTR_DSA_PRIME 

pub const TEE_ATTR_DSA_PRIME: u32 = 0xD0001031;