Constant optee_teec_sys::TEEC_ERROR_NOT_IMPLEMENTED

pub const TEEC_ERROR_NOT_IMPLEMENTED: u32 = 0xFFFF0009;