1// SPDX-License-Identifier: GPL-3.0-or-later
2
3#pragma once
4
5#include "mos/platform/platform.h"
6
7#include <mos/types.h>
8
9void rtc_init();
10bool rtc_irq_handler(u32 irq, void *data);
11void rtc_read_time(timeval_t *time);
12