#include "WimpLib:Timer.h"

#include "swis.h"

int Timer_GetTime(void)
{
	int time;

	_swix(OS_ReadMonotonicTime, _OUT(0), &time);

	return time;
}
