pub const TEE_ATTR_RSA_PRIME1: u32 = 3221226544;