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_BASE CONSOLE_T_DRVDATA 13 #define CONSOLE_T_CBMC_SIZE (CONSOLE_T_DRVDATA + REGSZ) 14 15 #ifndef __ASSEMBLER__ 16 17 typedef struct { 18 console_t console; 19 uintptr_t base; 20 uint32_t size; 21 } console_cbmc_t; 22 23 int console_cbmc_register(uintptr_t base, console_cbmc_t *console); 24 25 #endif /* __ASSEMBLER__ */ 26 27 #endif /* CBMEM_CONSOLE_H */ 28