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