{
sig_wait(SIG_USER0);
#if CONFIG_USE_HP_TIMER
- end = timer_clock_hp();
+ end = timer_hw_hpread();
#endif
#if CONFIG_USE_LED
LED_ON();
{
sig_wait(SIG_USER1);
#if CONFIG_USE_HP_TIMER
- start = timer_clock_hp();
+ start = timer_hw_hpread();
#endif
#if CONFIG_USE_LED
LED_ON();
while (1)
{
#if CONFIG_USE_HP_TIMER
- kfile_printf(&out.fd, "Switch: %lu.%lu usec\n",
+ kfile_printf(&out.fd, "Switch: %lu.%lu usec\n\r",
hptime_to_us((end - start)),
hptime_to_us((end - start) * 1000) % 1000);
#endif