pub const TEE_ATTR_RSA_PSS_SALT_LENGTH: u32 = 4026534448;