u_var3 707 drivers/media/dvb-frontends/stv0367.c u8 try, u_var1 = 0, u_var2 = 0, u_var3 = 0, u_var4 = 0, mode, guard; u_var3 797 drivers/media/dvb-frontends/stv0367.c u_var3 = stv0367_readbits(state, F367TER_TPS_LOCK); u_var3 804 drivers/media/dvb-frontends/stv0367.c while (((!u_var1) || (!u_var2) || (!u_var3)) && (wd >= 0)) { u_var3 809 drivers/media/dvb-frontends/stv0367.c u_var3 = stv0367_readbits(state, F367TER_TPS_LOCK); u_var3 820 drivers/media/dvb-frontends/stv0367.c if (!u_var3)