linux/drivers/media/dvb/bt8xx
Julia Lawall 3227c860b6 V4L/DVB (12477): Use dst_type field instead of type_flags
It seems from other code that it is the dst_type field rather than the
type_flags field that contains values of the form DST_TYPE_IS...
The type_flags field contains values of the form DST_TYPE_HAS...

The semantic match that finds this problem is as follows:
(http://www.emn.fr/x-info/coccinelle/)

// <smpl>
@@ struct dst_state E; @@

(
*E.type_flags ==
  \( DST_TYPE_IS_SAT\|DST_TYPE_IS_TERR\|DST_TYPE_IS_CABLE\|DST_TYPE_IS_ATSC \)
|
*E.type_flags !=
  \( DST_TYPE_IS_SAT\|DST_TYPE_IS_TERR\|DST_TYPE_IS_CABLE\|DST_TYPE_IS_ATSC \)
)
// </smpl>

Cc: Manu Abraham <abraham.manu@gmail.com>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Mauro Carvalho Chehab <mchehab@redhat.com>
2009-09-12 12:19:03 -03:00
..
bt878.c V4L/DVB (11992): Add missing __devexit_p() 2009-06-16 19:07:51 -03:00
bt878.h V4L/DVB (8132): bt8xx endianness annotations and fixes 2008-07-20 07:13:31 -03:00
dst_ca.c headers: smp_lock.h redux 2009-07-12 12:22:34 -07:00
dst_ca.h
dst_common.h V4L/DVB (6569): bt8xx/dst.c: make code static 2008-01-25 19:02:03 -02:00
dst_priv.h
dst.c V4L/DVB (12477): Use dst_type field instead of type_flags 2009-09-12 12:19:03 -03:00
dvb-bt8xx.c V4L/DVB (11046): bttv: convert to v4l2_device. 2009-03-30 12:43:23 -03:00
dvb-bt8xx.h V4L/DVB (7441): kconfig fixes for tuner-simple 2008-04-24 14:07:55 -03:00
Kconfig V4L/DVB (11127): Kconfig: replace all occurrences of CUSTOMIZE to CUSTOMISE 2009-03-30 12:43:31 -03:00
Makefile V4L/DVB(7767): Move tuners to common/tuners 2008-04-29 18:41:37 -03:00