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;