| Jorge Ramirez-Ortiz | f1751c0 | 2018-09-23 09:41:00 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2015-2017, Renesas Electronics Corporation. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef RCAR_PRINTF_H |
| 8 | #define RCAR_PRINTF_H |
| Jorge Ramirez-Ortiz | f1751c0 | 2018-09-23 09:41:00 +0200 | [diff] [blame] | 9 | |
| 10 | #include <string.h> |
| 11 | |
| 12 | int32_t rcar_set_log_data(int32_t c); |
| 13 | int32_t rcar_log_init(void); |
| 14 | |
| 15 | #if IMAGE_BL31 |
| 16 | extern uint64_t rcar_stack_generic_timer[5]; |
| 17 | #endif |
| 18 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 19 | #endif /* RCAR_PRINTF_H */ |