Constant optee_teec_sys::TEEC_ERROR_BAD_PARAMETERS

pub const TEEC_ERROR_BAD_PARAMETERS: u32 = 0xFFFF0006;