1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <arch/io.h> 4 #include <console/console.h> 5 #include <post.h> 6 #include <stdint.h> 7 arch_post_code(uint8_t value)8void arch_post_code(uint8_t value) 9 { 10 if (CONFIG(POST_IO)) 11 outb(value, CONFIG_POST_IO_PORT); 12 13 if (CONFIG(CMOS_POST) && !ENV_SMM) 14 cmos_post_code(value); 15 } 16