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

void check_time(void);