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