1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright 2022 Gateworks Corporation
4  */
5 
6 #ifndef _GSC_H_
7 #define _GSC_H_
8 
9 /*
10  * board_gsc_info - Display additional board info
11  */
12 void board_gsc_info(void);
13 
14 /*
15  * gsc_boot_wd_disable - disable the BOOT watchdog
16  *
17  * Return: 0 on success or negative error on failure
18  */
19 int gsc_boot_wd_disable(void);
20 
21 #endif
22