Tom Rini | 10e4779 | 2018-05-06 17:58:06 -0400 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0+ */ |
Martyn Welch | 7d258bf | 2017-11-08 15:59:35 +0000 | [diff] [blame] | 2 | /* |
3 | * Copyright 2017 General Electric Company | ||||
Martyn Welch | 7d258bf | 2017-11-08 15:59:35 +0000 | [diff] [blame] | 4 | */ |
5 | |||||
6 | void check_time(void); |