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 */
12void 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 */
19int gsc_boot_wd_disable(void);
20
21#endif
22