HEART_CYCLES_PER_SEC
(HEART_CYCLES_PER_SEC / 10));
clocksource_register_hz(cs, HEART_CYCLES_PER_SEC);
HEART_CYCLES_PER_SEC);