1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
/* SPDX-License-Identifier: BSD-2-Clause */
/*
* Copyright (c) 2014, Linaro Limited
*/
#ifndef __CONSOLE_H
#define __CONSOLE_H
#include <compiler.h>
#include <tee_api_types.h>
void console_init(void);
void console_putc(int ch);
void console_flush(void);
void plat_console_init(void);
struct serial_chip;
void register_serial_console(struct serial_chip *chip);
#ifdef CFG_DT
/*
* Get console info from a reacheable DTB. Check the embedded DTB and fall
* back to the external DTB.
*
* If the DTB does not specify a chosen (or secure-chosen) node, we assume
* DTB does not provide specific console directive. Early console may remain.
* If the DTB does not specify any console in the chosen (or secure-chosen)
* node, we assume there is no console. Early console would be disabled.
*
* @fdt_out: Output DTB address where console directive is found
* @offs_out: Output offset in the DTB where console directive is found
* @path_out: Output string configuration of the console from the DTB.
* (*path_out) shall be freed using nex_free().
* @params_out: Output console parameters found from the DTB.
* (*params_out) shall be freed using nex_free().
*
* Return a TEE_Result compliant return value
*
*/
TEE_Result get_console_node_from_dt(void *fdt, int *offs_out,
char **path_out, char **params_out);
/*
* Check if the /secure-chosen or /chosen node in the DT contains an
* stdout-path value for which we have a compatible driver. If so, switch
* the console to this device.
*/
void configure_console_from_dt(void);
#else
static inline void configure_console_from_dt(void)
{}
#endif /* !CFG_DT */
#endif /* __CONSOLE_H */
|
