/*
 * Copyright (c) 2019, NVIDIA Corporation. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef SPE_H
#define SPE_H

#include <stdint.h>

#include <drivers/console.h>

/*
 * Initialize a new spe console instance and register it with the console
 * framework. The |console| pointer must point to storage that will be valid
 * for the lifetime of the console, such as a global or static local variable.
 * Its contents will be reinitialized from scratch.
 */
int console_spe_register(uintptr_t baseaddr, uint32_t clock, uint32_t baud,
			 console_t *console);

#endif /* SPE_H */