Constant TEE_ERROR_STORAGE_NOT_AVAILABLE 

pub const TEE_ERROR_STORAGE_NOT_AVAILABLE: u32 = 0xF0100003;