static u32 dvb_dmx_crc32 (struct dvb_demux_feed *f, const u8 *src, size_t len) 
static u32 dvb_dmx_crc32(struct dvb_demux_feed *f, const u8 *src, size_t len) 
static u32 dvb_dmx_crc32 (struct dvb_demux_feed *f, const u8 *src, size_t len){	return (f->feed.sec.crc_val = crc32_be (f->feed.sec.crc_val, src, len));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dad4a73071532448f6cee29791476494a8eb3a58/dvb_demux.c/clean/drivers/media/dvb/dvb-core/dvb_demux.c