luxos/Kernel/hal/clock/clock.h

#ifndef __CLOCK__H
#define __CLOCK__H

#include <time.h>

extern void TimeHandler(_RegsStack32 *r);


#endif