11bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */ 2db886a7fSJerome Forissier /* 3db886a7fSJerome Forissier * Copyright (c) 2014, Linaro Limited 4db886a7fSJerome Forissier */ 5*fbe66cf8SEtienne Carriere #ifndef __DRIVERS_PL011_H 6*fbe66cf8SEtienne Carriere #define __DRIVERS_PL011_H 7db886a7fSJerome Forissier 8db886a7fSJerome Forissier #include <types_ext.h> 9f182814bSJerome Forissier #include <drivers/serial.h> 10db886a7fSJerome Forissier 118d31bf67SJens Wiklander #define PL011_REG_SIZE 0x1000 128d31bf67SJens Wiklander 13f182814bSJerome Forissier struct pl011_data { 14f182814bSJerome Forissier struct io_pa_va base; 15f182814bSJerome Forissier struct serial_chip chip; 16f182814bSJerome Forissier }; 17db886a7fSJerome Forissier 18ddf45954SJerome Forissier void pl011_init(struct pl011_data *pd, paddr_t pbase, uint32_t uart_clk, 19f182814bSJerome Forissier uint32_t baud_rate); 20db886a7fSJerome Forissier 21*fbe66cf8SEtienne Carriere #endif /* __DRIVERS_PL011_H */ 22