// sysTime.c

#include <stdio.h>
#include <912d60.h>
#include "kernel.h"

extern struct time {
	   		char hours;
			char minutes;
			char seconds;
			int milliseconds;
			};
			  
void get_sysTime(struct time *t);


void sysTime(void) {

	extern unsigned long int time_tick;

	struct time systime;
			  
	INTR_ON();
	
	get_sysTime(&systime);
	
	printf("time = %d:%d:%d.%d\n", systime.hours, systime.minutes,
				   				   systime.seconds, systime.milliseconds);
	
	
	INTR_OFF();
	 
}