#include <typedefs.h>

void cmos_init(void);
int cmos_start_call(int is_read, int *done, i64 *time);