Constant TEEC_ERROR_NO_DATA 

pub const TEEC_ERROR_NO_DATA: u32 = 0xFFFF000B;