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 
4 #include <reset.h>
5 
6 /* Can't do a "real" reset before the PMIC is initialized in QcLib (romstage),
7  but this works well enough for our purposes. */
8 void do_board_reset(void)
9 {
11 }
int google_chromeec_reboot(int dev_idx, enum ec_reboot_cmd type, uint8_t flags)
Definition: ec.c:794
@ EC_REBOOT_COLD
Definition: ec_commands.h:5372
void do_board_reset(void)
Definition: reset.c:8