sys_call_entry.h

extern int get_ticks();
extern void write(char *buf, int len);