| 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 | |||||
| 7 | #ifndef RCAR_PRINTF_H__ | ||||
| 8 | #define RCAR_PRINTF_H__ | ||||
| 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 | |||||
| 19 | #endif | ||||