| /* | |
| * Copyright (c) 2015-2017, Renesas Electronics Corporation. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #ifndef RCAR_PRINTF_H__ | |
| #define RCAR_PRINTF_H__ | |
| #include <string.h> | |
| int32_t rcar_set_log_data(int32_t c); | |
| int32_t rcar_log_init(void); | |
| #if IMAGE_BL31 | |
| extern uint64_t rcar_stack_generic_timer[5]; | |
| #endif | |
| #endif |