taglinefilesource code
wait_for_ready785drivers/char/tpqic02.cstat = wait_for_ready(TIM_S);
wait_for_ready1061drivers/char/tpqic02.cstat = wait_for_ready(timeout);
wait_for_ready1086drivers/char/tpqic02.cstat = wait_for_ready(timeout);    /* wait for ready or exception */
wait_for_ready1145drivers/char/tpqic02.cstat = wait_for_ready(timeout);
wait_for_ready1245drivers/char/tpqic02.cif (wait_for_ready(TIM_S) != TE_OK) {
wait_for_ready1615drivers/char/tpqic02.cif (wait_for_ready(TIM_S) != TE_OK) {  /*** not sure this is needed ***/
wait_for_ready1640drivers/char/tpqic02.cif (wait_for_ready(TIM_M) != TE_OK)
wait_for_ready1710drivers/char/tpqic02.cstat = wait_for_ready(TIM_M);