| /* | |
| * Copyright (c) 2021, Stephan Gerhold <stephan@gerhold.net> | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #ifndef UARTDM_CONSOLE_H | |
| #define UARTDM_CONSOLE_H | |
| int console_uartdm_register(console_t *console, uintptr_t base_addr); | |
| #endif /* UARTDM_CONSOLE_H */ |