| /* | |
| * Copyright (c) 2016 Intel Corporation. | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| /** | |
| * @file UART header file for the K20 family of microprocessors.. | |
| */ | |
| #ifndef _UART_K20_H_ | |
| #define _UART_K20_H_ | |
| void uart_k20_isr(void *arg); | |
| #endif /* _UART_K20_H_ */ |