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 
19 #endif /* DCC */
20