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 
8 {
9  if (CONFIG(POST_IO) && CONFIG_POST_IO_PORT == 0x80)
11 }
pte_t value
Definition: mmu.c:91
void arch_post_code(uint8_t value)
Definition: post.c:8
uint32_t svc_write_postcode(uint32_t postcode)
Definition: svc.c:144
@ CONFIG
Definition: dsi_common.h:201
uint8_t u8
Definition: stdint.h:45