1 /* 2 * Copyright (c) 2021-2022, Xilinx Inc. 3 * Copyright (c) 2022-2024, Advanced Micro Devices, Inc. All rights reserved. 4 * 5 * SPDX-License-Identifier: BSD-3-Clause 6 */ 7 8 #ifndef DCC_H 9 #define DCC_H 10 11 #include <stdint.h> 12 #include <drivers/console.h> 13 14 /* 15 * Initialize a new dcc console instance and register it with the console 16 * framework. 17 */ 18 int console_dcc_register(console_t *console); 19 void console_dcc_unregister(console_t *console); 20 21 #endif /* DCC_H */ 22