clockevent_get_state
clockevent_get_state(dev)))
if (clockevent_get_state(dev) != state) {
clockevent_get_state(dev));
if (clockevent_get_state(wd) != CLOCK_EVT_STATE_ONESHOT)
SEQ_printf(m, " mode: %d\n", clockevent_get_state(dev));