ge_rtc.h 114 B

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