path: root/kernel/drivers/cmos.h

#include <typedefs.h>

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