Constant TEEC_ERROR_BAD_PARAMETERS 

pub const TEEC_ERROR_BAD_PARAMETERS: u32 = 0xFFFF0006;