1 /* 2 * Copyright 2017 General Electric Company 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 void check_time(void); 8