Symbol: TIMER_INTTC
usr.sbin/vmd/i8253.c
174
if (i8253_channel[2].mode == TIMER_INTTC) {
usr.sbin/vmd/i8253.c
375
if (ctr->mode != TIMER_INTTC) {
usr.sbin/vmd/i8253.c
84
i8253_channel[0].mode = TIMER_INTTC;
usr.sbin/vmd/i8253.c
90
i8253_channel[1].mode = TIMER_INTTC;
usr.sbin/vmd/i8253.c
96
i8253_channel[2].mode = TIMER_INTTC;