getnextcpuevent
t = getnextcpuevent(state, 0);
static sbintime_t getnextcpuevent(struct pcpu_state *state, int idle);
t = getnextcpuevent(state, 1);