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