1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  
 3  #include <console/console.h>
 4  #include <device/mmio.h>
 5  #include <soc/dfd.h>
 6  
 7  void dfd_init(void)
 8  {
 9  	printk(BIOS_INFO, "%s: enable DFD (Design For Debug)\n", __func__);
10  	setbits32(dfd_cfg, RESET_ON_KEEP_EN);
11  	dsb();
12  }