Constant TEE_ERROR_BAD_PARAMETERS 

pub const TEE_ERROR_BAD_PARAMETERS: u32 = 4294901766;