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 <reset.h>
4 
5 #include "gpio.h"
6 
7 void do_board_reset(void)
8 {
9  gpio_output(AP_SYS_RESET_L, 0);
10 }
gpio_output
void gpio_output(gpio_t gpio, int value)
Definition: gpio.c:194
do_board_reset
void do_board_reset(void)
Definition: reset.c:8
AP_SYS_RESET_L
@ AP_SYS_RESET_L
Definition: gpio.h:35