Constant TEE_ERROR_STORAGE_NO_SPACE 

pub const TEE_ERROR_STORAGE_NO_SPACE: u32 = 0xFFFF3041;