sys/kern/kern_clocksource.c

64

static void configtimer(int start);

sys/kern/kern_clocksource.c

670

configtimer(1);

sys/kern/kern_clocksource.c

700

configtimer(0);

sys/kern/kern_clocksource.c

708

configtimer(1);

sys/kern/kern_clocksource.c

722

configtimer(0);

sys/kern/kern_clocksource.c

724

configtimer(1);

sys/kern/kern_clocksource.c

742

configtimer(0);

sys/kern/kern_clocksource.c

744

configtimer(1);

sys/kern/kern_clocksource.c

823

configtimer(0);

sys/kern/kern_clocksource.c

825

configtimer(1);

sys/kern/kern_clocksource.c

908

configtimer(0);

sys/kern/kern_clocksource.c

917

configtimer(1);

sys/kern/kern_clocksource.c

938

configtimer(0);

sys/kern/kern_clocksource.c

940

configtimer(1);