#include "cedos.h" #include "stdio.h" #include #include "stdlib.h" #include "string.h" #include "cedos.h" void main(char *args) { if (strlen(args) == 0) { int ticks = sc_time_get_ticks(); printf("%i\n", ticks); } else { int interval = atoi(args); if (interval <= 0) { printf("Invalid interval value.\n"); return; } int pid = get_pid(); int superticks = 0; while (1) { int ticks = sc_time_get_ticks(); if (ticks / interval != superticks) { printf("[%i] %i ticks\n", pid, ticks); superticks = ticks / interval; } yield(); } } }