| Manish Pandey | f218ffe | 2020-04-09 15:16:40 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #include <drivers/arm/pl011.h> |
| 8 | |
| 9 | int console_putc(int c) |
| 10 | { |
| 11 | return console_pl011_putc(c); |
| 12 | } |
| Mark Dykes | f41d8ee | 2025-07-10 16:41:28 -0500 | [diff] [blame^] | 13 | |
| 14 | #ifdef SMC_FUZZ_VARIABLE_COVERAGE |
| 15 | int console_putc_fuzzer(int c) |
| 16 | { |
| 17 | return console_pl011_putc_fuzzer(c); |
| 18 | } |
| 19 | |
| 20 | void tftf_switch_console_state(int state) |
| 21 | { |
| 22 | tftf_console_state = state; |
| 23 | } |
| 24 | |
| 25 | int tftf_get_console_state(void) |
| 26 | { |
| 27 | return tftf_console_state; |
| 28 | } |
| 29 | |
| 30 | #endif |