1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright 2022 Microchip
4  */
5 
6 #include <drivers/wdt.h>
7 
8 struct wdt_chip *wdt_chip;
9 
watchdog_register(struct wdt_chip * chip)10 TEE_Result watchdog_register(struct wdt_chip *chip)
11 {
12 	if (!chip->ops->start || !chip->ops->ping  || !chip->ops->set_timeout)
13 		return TEE_ERROR_BAD_PARAMETERS;
14 
15 	wdt_chip = chip;
16 
17 	return TEE_SUCCESS;
18 }
19