if (type_flags & DST_TYPE_HAS_FW_1) printk(" 0x%x firmware version = 1", DST_TYPE_HAS_FW_1); if (type_flags & DST_TYPE_HAS_FW_2) printk(" 0x%x firmware version = 2", DST_TYPE_HAS_FW_2); if (type_flags & DST_TYPE_HAS_FW_3) printk(" 0x%x firmware version = 3", DST_TYPE_HAS_FW_3);  
static void dst_type_flags_print(u32 type_flags){	printk("DST type flags :");	if (type_flags & DST_TYPE_HAS_NEWTUNE)		printk(" 0x%x newtuner", DST_TYPE_HAS_NEWTUNE);	if (type_flags & DST_TYPE_HAS_TS204)		printk(" 0x%x ts204", DST_TYPE_HAS_TS204);	if (type_flags & DST_TYPE_HAS_SYMDIV)		printk(" 0x%x symdiv", DST_TYPE_HAS_SYMDIV);	printk("\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/50b215a05878ce9636dace6cd21f7e91ff005058/dst.c/clean/drivers/media/dvb/bt8xx/dst.c