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