cbmem_console.h 473 B

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