Constant TEEC_ERROR_NO_DATA

pub const TEEC_ERROR_NO_DATA: uint32_t = 0xFFFF000B;