/* * Copyright (c) 2019, Arm Limited. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */ #include <drivers/arm/sp805.h> #include <plat/arm/common/plat_arm.h> #include <plat/common/platform.h> #include <platform_def.h> /******************************************************************************* * Perform any BL1 specific platform actions. ******************************************************************************/ void bl1_early_platform_setup(void) { arm_bl1_early_platform_setup(); } void plat_arm_secure_wdt_start(void) { sp805_start(ARM_SP805_TWDG_BASE, ARM_TWDG_LOAD_VAL); } void plat_arm_secure_wdt_stop(void) { sp805_stop(ARM_SP805_TWDG_BASE); } void bl1_platform_setup(void) { arm_bl1_platform_setup(); }