{
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();