rp2040_clock.cc

//---------------------------------------------------------------------------

#include "javelin/clock.h"
#include <hardware/timer.h>

//---------------------------------------------------------------------------

uint32_t Clock::GetMilliseconds() { return (time_us_64() * 4294968) >> 32; }

uint32_t Clock::GetMicroseconds() { return time_us_32(); }

//---------------------------------------------------------------------------