| 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 | } | ||||