u32 * offset) 
u32 *offset) 
static __inline__ int radeon_check_and_fixup_offset(drm_radeon_private_t *						    dev_priv,						    drm_file_t * filp_priv,						    u32 * offset){	u32 off = *offset;	struct drm_radeon_driver_file_fields *radeon_priv;	if (off >= dev_priv->fb_location &&	    off < (dev_priv->gart_vm_start + dev_priv->gart_size))		return 0;	radeon_priv = filp_priv->driver_priv;	off += radeon_priv->radeon_fb_delta;	DRM_DEBUG("offset fixed up to 0x%x\n", off);	if (off < dev_priv->fb_location ||	    off >= (dev_priv->gart_vm_start + dev_priv->gart_size))		return DRM_ERR(EINVAL);	*offset = off;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b3a83639895a422b25f72eec0a5d1d88c3ac4e9e/radeon_state.c/buggy/drivers/char/drm/radeon_state.c