ALTERA_TSE_SW_RESET_WATCHDOG_CNTR
while (counter++ < ALTERA_TSE_SW_RESET_WATCHDOG_CNTR) {
if (counter >= ALTERA_TSE_SW_RESET_WATCHDOG_CNTR)
while (counter++ < ALTERA_TSE_SW_RESET_WATCHDOG_CNTR) {
if (counter >= ALTERA_TSE_SW_RESET_WATCHDOG_CNTR)
while (counter++ < ALTERA_TSE_SW_RESET_WATCHDOG_CNTR) {
if (counter >= ALTERA_TSE_SW_RESET_WATCHDOG_CNTR) {