seclo0 47 drivers/clocksource/jcore-pit.c u32 seclo, nsec, seclo0; seclo0 52 drivers/clocksource/jcore-pit.c seclo0 = seclo; seclo0 55 drivers/clocksource/jcore-pit.c } while (seclo0 != seclo);