board/ge/common/ge_common.h

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

void check_time(void);