| /* | |
| * Copyright (c) 2020, NVIDIA Corporation. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #include <platform.h> | |
| /* | |
| * Start the watchdog timer | |
| */ | |
| void tftf_platform_watchdog_set(void) | |
| { | |
| ; /* do nothing */ | |
| } | |
| /* | |
| * Stop the watchdog timer | |
| */ | |
| void tftf_platform_watchdog_reset(void) | |
| { | |
| ; /* do nothing */ | |
| } |