Symbol: CPUTIMER_8254_SEL1
sys/platform/pc64/isa/clock.c
695
timer->type = CPUTIMER_8254_SEL1;
sys/platform/pc64/isa/clock.c
723
case CPUTIMER_8254_SEL1: