coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
post.c
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-only */
2
3
#include <bl_uapp/bl_syscall_public.h>
4
#include <
console/console.h
>
5
#include <
post.h
>
6
7
void
arch_post_code
(
u8
value
)
8
{
9
if
(
CONFIG
(POST_IO) && CONFIG_POST_IO_PORT == 0x80)
10
svc_write_postcode
(
value
);
11
}
value
pte_t value
Definition:
mmu.c:91
arch_post_code
void arch_post_code(uint8_t value)
Definition:
post.c:8
svc_write_postcode
uint32_t svc_write_postcode(uint32_t postcode)
Definition:
svc.c:144
console.h
CONFIG
@ CONFIG
Definition:
dsi_common.h:201
post.h
u8
uint8_t u8
Definition:
stdint.h:45
src
soc
amd
common
psp_verstage
post.c
Generated by
1.9.1