system_clock.h

#ifndef _system_clock_
#define _system_clock_

// Uses interrupts and timer 16 for millis() and micros() time keeping
#include <stdint.h>
#include "chip.h"
#include "types.h"

#ifdef __cplusplus
extern "C"{
#endif // __cplusplus


void systemClockInit();

// Private
void systemClockISR();


extern volatile uint32_t _millis;
extern int microsDivider;
static inline uint32_t millis() __attribute__((always_inline, unused));
static inline uint32_t millis() {
  volatile uint32_t ret = _millis;
  return ret;
}


static inline uint32_t micros() __attribute__((always_inline, unused));
static inline uint32_t micros()
{
  // OLD--using timer
  // return _millis * 1000 + TIM_GetCounter(TIMER_MAP[ TIMEBASE_MAP[ SYSCLK_TIMEBASE ].timer ].TIMx);
  // systick is a downcounter
  volatile uint32_t ret = _millis * 1000 + 1000 - SysTick->VAL/microsDivider;
  return ret;
}

void delay(uint32_t nTime);

void delayMicroseconds(uint32_t nTime);

void delayNB(uint32_t nTime, ISRType iterate);
 // end of addtogroup



#ifdef __cplusplus
} // extern "C"
#endif // __cplusplus

#endif