if ( dev_priv->chipset == MGA_CARD_TYPE_G400 ) { if ( dirty & MGA_UPLOAD_TEX1 ) ret |= mga_verify_tex( dev_priv, 1 ); 
if (dev_priv->chipset >= MGA_CARD_TYPE_G400) { if (dirty & MGA_UPLOAD_TEX1) ret |= mga_verify_tex(dev_priv, 1); 
static int mga_verify_state( drm_mga_private_t *dev_priv ){	drm_mga_sarea_t *sarea_priv = dev_priv->sarea_priv;	unsigned int dirty = sarea_priv->dirty;	int ret = 0;	if ( sarea_priv->nbox > MGA_NR_SAREA_CLIPRECTS )		sarea_priv->nbox = MGA_NR_SAREA_CLIPRECTS;	if ( dirty & MGA_UPLOAD_CONTEXT )		ret |= mga_verify_context( dev_priv );	if ( dirty & MGA_UPLOAD_TEX0 )		ret |= mga_verify_tex( dev_priv, 0 );	if ( dev_priv->chipset == MGA_CARD_TYPE_G400 ) {		if ( dirty & MGA_UPLOAD_TEX1 )			ret |= mga_verify_tex( dev_priv, 1 );		if ( dirty & MGA_UPLOAD_PIPE )			ret |= ( sarea_priv->warp_pipe > MGA_MAX_G400_PIPES );	} else {		if ( dirty & MGA_UPLOAD_PIPE )			ret |= ( sarea_priv->warp_pipe > MGA_MAX_G200_PIPES );	}	return ( ret == 0 );}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6795c985a648d1e90b367cc1387c18205ecca4b8/mga_state.c/clean/drivers/char/drm/mga_state.c