path: root/board/ge/common/ge_rtc.h

/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * Copyright 2017 General Electric Company
 */

void check_time(void);