seclo              47 drivers/clocksource/jcore-pit.c 	u32 seclo, nsec, seclo0;
seclo              50 drivers/clocksource/jcore-pit.c 	seclo = readl(base + REG_SECLO);
seclo              52 drivers/clocksource/jcore-pit.c 		seclo0 = seclo;
seclo              54 drivers/clocksource/jcore-pit.c 		seclo = readl(base + REG_SECLO);
seclo              55 drivers/clocksource/jcore-pit.c 	} while (seclo0 != seclo);
seclo              57 drivers/clocksource/jcore-pit.c 	return seclo * NSEC_PER_SEC + nsec;