Constant TEE_ATTR_DSA_SUBPRIME 

pub const TEE_ATTR_DSA_SUBPRIME: u32 = 3489665329;