11c5f5031SJulius Werner /* 21c5f5031SJulius Werner * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. 31c5f5031SJulius Werner * 41c5f5031SJulius Werner * SPDX-License-Identifier: BSD-3-Clause 51c5f5031SJulius Werner */ 61c5f5031SJulius Werner 7c3cf06f1SAntonio Nino Diaz #ifndef CBMEM_CONSOLE_H 8c3cf06f1SAntonio Nino Diaz #define CBMEM_CONSOLE_H 91c5f5031SJulius Werner 1009d40e0eSAntonio Nino Diaz #include <drivers/console.h> 111c5f5031SJulius Werner 12*e21a788eSAndre Przywara #define CONSOLE_T_CBMC_SIZE CONSOLE_T_DRVDATA 131c5f5031SJulius Werner 141c5f5031SJulius Werner #ifndef __ASSEMBLER__ 151c5f5031SJulius Werner 161c5f5031SJulius Werner typedef struct { 171c5f5031SJulius Werner console_t console; 181c5f5031SJulius Werner uint32_t size; 191c5f5031SJulius Werner } console_cbmc_t; 201c5f5031SJulius Werner 211c5f5031SJulius Werner int console_cbmc_register(uintptr_t base, console_cbmc_t *console); 221c5f5031SJulius Werner 231c5f5031SJulius Werner #endif /* __ASSEMBLER__ */ 241c5f5031SJulius Werner 25c3cf06f1SAntonio Nino Diaz #endif /* CBMEM_CONSOLE_H */ 26