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