coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
dfd.c
Go to the documentation of this file.
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__);
11  dsb();
12 }
#define dsb()
Definition: barrier.h:16
#define printk(level,...)
Definition: stdlib.h:16
void dfd_init(void)
Definition: dfd.c:7
#define RESET_ON_KEEP_EN
Definition: dfd_common.h:7
static u32 *const dfd_cfg
Definition: dfd_common.h:9
#define setbits32(addr, set)
Definition: mmio.h:21
#define BIOS_INFO
BIOS_INFO - Expected events.
Definition: loglevel.h:113