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