TIMER_CTRL
TIMER_CTRL(TICKTIMER), TIMER_OSC24M);
TIMER_CTRL(CNTRTIMER), TIMER_OSC24M);
TIMER_CTRL(CNTRTIMER));
TIMER_CTRL(CNTRTIMER),
TIMER_CTRL(TICKTIMER));
TIMER_CTRL(TICKTIMER), ctrl & ~TIMER_ENABLE);
TIMER_CTRL(TICKTIMER));
TIMER_CTRL(TICKTIMER),
TIMER_CTRL(TICKTIMER));
TIMER_CTRL(TICKTIMER), ctrl & ~TIMER_ENABLE);
TIMER_CTRL(TICKTIMER));
TIMER_CTRL(TICKTIMER),
if (vei->vei.vei_port == TIMER_CTRL) {
ioports_map[TIMER_CTRL] = vcpu_exit_i8253;