Constant TEE_ATTR_RSA_PSS_SALT_LENGTH 

pub const TEE_ATTR_RSA_PSS_SALT_LENGTH: u32 = 0xF0000A30;