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);