F367TER_TPS_LOCK
if (!stv0367_readbits(state, F367TER_TPS_LOCK) ||
locked = (stv0367_readbits(state, F367TER_TPS_LOCK)) &&
u_var3 = stv0367_readbits(state, F367TER_TPS_LOCK);
u_var3 = stv0367_readbits(state, F367TER_TPS_LOCK);