Constant TEEC_ERROR_NOT_IMPLEMENTED

pub const TEEC_ERROR_NOT_IMPLEMENTED: uint32_t = 0xFFFF0009;