#ifndef USERTIME_H #define USERTIME_H extern void usertime_reset(void); extern int usertime_get(void); #endif /* USERTIME_H */