tree 47053c2ed79e6e43b1b6fd49b585fe53028ff6a5
parent 13ec42b62fb80d0f316a9aaa9fd0f05dc201526d
author Graeme Russ <graeme.russ@gmail.com> 1310696384 +0000
committer Wolfgang Denk <wd@denx.de> 1311684810 +0200

Timer: Remove reset_timer() for non-Nios2 arches