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
>
4
#include <
ec/google/wilco/commands.h
>
5
#include <variant/ec.h>
6
7
void
mainboard_post
(
uint8_t
value
)
8
{
9
wilco_ec_save_post_code
(
value
);
10
}
value
pte_t value
Definition:
mmu.c:91
wilco_ec_save_post_code
void wilco_ec_save_post_code(uint8_t post_code)
wilco_ec_save_post_code
Definition:
commands.c:189
commands.h
console.h
mainboard_post
void mainboard_post(uint8_t value)
Definition:
ec.c:7
uint8_t
unsigned char uint8_t
Definition:
stdint.h:8
src
mainboard
google
deltaur
ec.c
Generated by
1.9.1