Symbol: CPUTIMER_8254_SEL2
sys/platform/pc64/isa/clock.c
702
timer->type = CPUTIMER_8254_SEL2;
sys/platform/pc64/isa/clock.c
726
case CPUTIMER_8254_SEL2: