/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * Copyright 2022 Gateworks Corporation
 */

#ifndef _GSC_H_
#define _GSC_H_

/*
 * board_gsc_info - Display additional board info
 */
void board_gsc_info(void);

/*
 * gsc_boot_wd_disable - disable the BOOT watchdog
 *
 * Return: 0 on success or negative error on failure
 */
int gsc_boot_wd_disable(void);

#endif