-#if CONFIG_TEST
-
-static void timer_test_constants(void)
-{
- kprintf("TIMER_PRESCALER=%d\n", TIMER_PRESCALER);
- kprintf("TIMER_HW_HPTICKS_PER_SEC=%lu\n", TIMER_HW_HPTICKS_PER_SEC);
- #ifdef TIMER1_OVF_COUNT
- kprintf("TIMER1_OVF_COUNT=%d\n", (int)TIMER1_OVF_COUNT);
- #endif
- kprintf("TIMER_TICKS_PER_MSEC=%d\n", (int)TIMER_TICKS_PER_MSEC);
- kprintf("\n");
- kprintf("ms_to_ticks(100)=%lu\n", ms_to_ticks(100));
- kprintf("ms_to_ticks(10000)=%lu\n", ms_to_ticks(10000));
- kprintf("us_to_ticks(100)=%lu\n", us_to_ticks(100));
- kprintf("us_to_ticks(10000)=%lu\n", us_to_ticks(10000));
- kprintf("\n");
- kprintf("ticks_to_ms(100)=%lu\n", ticks_to_ms(100));
- kprintf("ticks_to_ms(10000)=%lu\n", ticks_to_ms(10000));
- kprintf("ticks_to_us(100)=%lu\n", ticks_to_us(100));
- kprintf("ticks_to_us(10000)=%lu\n", ticks_to_us(10000));
- kprintf("\n");
- kprintf("hptime_to_us(100)=%lu\n", hptime_to_us(100));
- kprintf("hptime_to_us(10000)=%lu\n", hptime_to_us(10000));
- kprintf("us_to_hptime(100)=%lu\n", us_to_hptime(100));
- kprintf("us_to_hptime(10000)=%lu\n", us_to_hptime(10000));