blob: d33486d08299d8383b2c3a46323b688272938df0 [file] [log] [blame]
Tom Rini10e47792018-05-06 17:58:06 -04001/* SPDX-License-Identifier: GPL-2.0+ */
Martyn Welch7d258bf2017-11-08 15:59:35 +00002/*
3 * Copyright 2017 General Electric Company
Martyn Welch7d258bf2017-11-08 15:59:35 +00004 */
5
6void check_time(void);