1/* 2 * Copyright 2017, Data61 3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 * ABN 41 687 119 230. 5 * 6 * This software may be distributed and modified according to the terms of 7 * the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 * See "LICENSE_BSD2.txt" for details. 9 * 10 * @TAG(DATA61_BSD) 11 */ 12 13#pragma once 14 15#define GSBI3_UART_PADDR 0x16240000 16#define GSBI4_UART_PADDR 0x16340000 17#define GSBI5_UART_PADDR 0x1A240000 18#define GSBI6_UART_PADDR 0x16540000 19#define GSBI7_UART_PADDR 0x16640000 20 21#define GSBI3_UART_IRQ -1 22#define GSBI4_UART_IRQ -1 23#define GSBI5_UART_IRQ -1 24#define GSBI6_UART_IRQ -1 25#define GSBI7_UART_IRQ -1 26 27/* official device names */ 28enum chardev_id { 29 GSBI3_UART, 30 GSBI4_UART, 31 GSBI5_UART, 32 GSBI6_UART, 33 GSBI7_UART, 34 /* Aliases */ 35 PS_SERIAL0 = GSBI3_UART, 36 PS_SERIAL1 = GSBI4_UART, 37 PS_SERIAL2 = GSBI5_UART, 38 PS_SERIAL3 = GSBI6_UART, 39 PS_SERIAL4 = GSBI7_UART, 40 /* defaults */ 41 PS_SERIAL_DEFAULT = GSBI7_UART 42}; 43 44#define DEFAULT_SERIAL_PADDR GSBI7_UART_PADDR 45#define DEFAULT_SERIAL_INTERRUPT GSBI7_UART_IRQ 46