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