1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright 2022 Gateworks Corporation
10 * board_gsc_info - Display additional board info
12 void board_gsc_info(void);
15 * gsc_boot_wd_disable - disable the BOOT watchdog
17 * Return: 0 on success or negative error on failure
19 int gsc_boot_wd_disable(void);