/*
 * 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 <console.h>

#define CONSOLE_T_CBMC_BASE	CONSOLE_T_DRVDATA
#define CONSOLE_T_CBMC_SIZE	(CONSOLE_T_DRVDATA + REGSZ)

#ifndef __ASSEMBLER__

typedef struct {
	console_t console;
	uintptr_t base;
	uint32_t size;
} console_cbmc_t;

int console_cbmc_register(uintptr_t base, console_cbmc_t *console);

#endif /* __ASSEMBLER__ */

#endif /* __CBMEM_CONSOLE_H__ */