coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
reset.c
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-only */
2
3
#include <
device/mmio.h
>
4
#include <soc/iomap.h>
5
#include <reset.h>
6
7
void
do_board_reset
(
void
)
8
{
9
/*
10
* At boot time the boot loaders would have set a magic cookie
11
* here to detect watchdog reset. However, since this is a
12
* normal reset clear the magic numbers.
13
*/
14
write32
(
TCSR_BOOT_MISC_DETECT
, 0);
15
write32
(
TCSR_RESET_DEBUG_SW_ENTRY
, 0);
16
write32
(
GCNT_PSHOLD
, 0);
17
}
write32
static void write32(void *addr, uint32_t val)
Definition:
mmio.h:40
mmio.h
do_board_reset
void do_board_reset(void)
Definition:
reset.c:8
TCSR_BOOT_MISC_DETECT
#define TCSR_BOOT_MISC_DETECT
Definition:
reset.c:7
GCNT_PSHOLD
#define GCNT_PSHOLD
Definition:
reset.c:6
TCSR_RESET_DEBUG_SW_ENTRY
#define TCSR_RESET_DEBUG_SW_ENTRY
Definition:
reset.c:8
src
mainboard
google
gale
reset.c
Generated by
1.9.1