#ifndef __GETTIME_H__
#define __GETTIME_H__

uint32_t gettime(void);

#endif