Constant optee_utee_sys::TEE_ERROR_BAD_PARAMETERS

pub const TEE_ERROR_BAD_PARAMETERS: u32 = 0xFFFF0006;