/*
 * Copyright (c) 2016 Intel Corporation.
 *
 * SPDX-License-Identifier: Apache-2.0
 */

/**
 * @file Header file for Stellaris UART.
 */

#ifndef _UART_STELLARIS_H_
#define _UART_STELLARIS_H_

void uart_stellaris_isr(void *arg);

#endif /* _UART_STELLARIS_H_ */