void lpc24xx_micro_seconds_delay(unsigned us)
{
unsigned start = lpc24xx_timer();
unsigned delay = us * (LPC24XX_CCLK / 1000000);
unsigned elapsed = 0;
do {
elapsed = lpc24xx_timer() - start;
} while (elapsed < delay);
}
void lpc24xx_micro_seconds_delay(unsigned us)
{
unsigned start = lpc24xx_timer();
unsigned end = start + us * (lpc24xx_cclk() / 1000000);
unsigned now = 0;
do {
now = lpc24xx_timer();
} while (now < end);
}
uint32_t benchmark_timer_read(void)
{
uint32_t delta = lpc24xx_timer() - benchmark_timer_base;
if (benchmark_timer_find_average_overhead) {
return delta;
} else {
/* Value determined by tmck for NCS board */
if (delta > 74) {
return delta - 74;
} else {
return 0;
}
}
}
void benchmark_timer_initialize(void)
{
benchmark_timer_base = lpc24xx_timer();
}
