contiki-cpc/arch/arch.c

#include "clock.h"
#include "arch.h"

extern clock_time_t _clock_val;

clock_time_t clock_time()
{
	return _clock_val;
}

int ctk_arch_isprint(char c)
{
	return (unsigned char)c > 32;
}