Constant TEE_ERROR_NO_DATA 

pub const TEE_ERROR_NO_DATA: u32 = 0xFFFF000B;