190075Sobrien/*
290075Sobrien * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
390075Sobrien *
490075Sobrien * SPDX-License-Identifier: GPL-2.0-only
590075Sobrien */
690075Sobrien
790075Sobrien#pragma once
890075Sobrien
990075Sobrien#include <drivers/common.h>
1090075Sobrien
1190075Sobrien#define dev_get_uart(dev) ((struct elfloader_uart_ops *)(dev->drv->ops))
1290075Sobrien
1390075Sobrienstruct elfloader_uart_ops {
1490075Sobrien    int (*putc)(struct elfloader_device *dev, unsigned int c);
1590075Sobrien};
1690075Sobrien
1790075Sobrienvolatile void *uart_get_mmio(void);
1890075Sobrienvoid uart_set_out(struct elfloader_device *out);
1990075Sobrien