pub const TEE_ATTR_RSA_COEFFICIENT: u32 = 3221227568;