1 /*
2  * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef CBMEM_CONSOLE_H
8 #define CBMEM_CONSOLE_H
9 
10 #include <drivers/console.h>
11 
12 #define CONSOLE_T_CBMC_SIZE	CONSOLE_T_DRVDATA
13 
14 #ifndef __ASSEMBLER__
15 
16 typedef struct {
17 	console_t console;
18 	uint32_t size;
19 } console_cbmc_t;
20 
21 int console_cbmc_register(uintptr_t base, console_cbmc_t *console);
22 
23 #endif /* __ASSEMBLER__ */
24 
25 #endif /* CBMEM_CONSOLE_H */
26