| /* | |
| * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #ifndef CBMEM_CONSOLE_H | |
| #define CBMEM_CONSOLE_H | |
| #include <drivers/console.h> | |
| #define CONSOLE_T_CBMC_SIZE CONSOLE_T_DRVDATA | |
| #ifndef __ASSEMBLER__ | |
| typedef struct { | |
| console_t console; | |
| uint32_t size; | |
| } console_cbmc_t; | |
| int console_cbmc_register(uintptr_t base, console_cbmc_t *console); | |
| #endif /* __ASSEMBLER__ */ | |
| #endif /* CBMEM_CONSOLE_H */ |