1 /*
2  * Copyright (c) 2019, NVIDIA Corporation. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef SPE_H
8 #define SPE_H
9 
10 #include <stdint.h>
11 
12 #include <drivers/console.h>
13 
14 /*
15  * Initialize a new spe console instance and register it with the console
16  * framework. The |console| pointer must point to storage that will be valid
17  * for the lifetime of the console, such as a global or static local variable.
18  * Its contents will be reinitialized from scratch.
19  */
20 int console_spe_register(uintptr_t baseaddr, uint32_t clock, uint32_t baud,
21 			 console_t *console);
22 
23 #endif /* SPE_H */
24