load_timer
load_timer(TIMER_2_BASE, herz);
clock_sc->sc_clock_count = load_timer(TIMER_1_BASE, hz);
static int load_timer(int, int);
static int load_timer(int, int);
statprev = load_timer(IFPGA_TIMER2_BASE, newint);
= load_timer(IFPGA_TIMER1_BASE, intvl);
load_timer(IFPGA_TIMER2_BASE, statint);