Martin Roth | c7acf16 | 2020-05-28 00:44:50 -0600 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
2 | |||||
3 | #include <bl_uapp/bl_syscall_public.h> | ||||
4 | #include <console/console.h> | ||||
Martin Roth | c7acf16 | 2020-05-28 00:44:50 -0600 | [diff] [blame] | 5 | |
6 | void arch_post_code(u8 value) | ||||
7 | { | ||||
8 | if (CONFIG(POST_IO) && CONFIG_POST_IO_PORT == 0x80) | ||||
9 | svc_write_postcode(value); | ||||
10 | } |