coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
ec.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 
3 #include <console/console.h>
5 #include <variant/ec.h>
6 
8 {
10 }
pte_t value
Definition: mmu.c:91
void wilco_ec_save_post_code(uint8_t post_code)
wilco_ec_save_post_code
Definition: commands.c:189
void mainboard_post(uint8_t value)
Definition: ec.c:7
unsigned char uint8_t
Definition: stdint.h:8