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