/*
 * Copyright (c) 2006-2021, RT-Thread Development Team
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Change Logs:
 * Date           Author       Notes
 * 2017-5-30      Bernard      the first version
 * 2021-07-31     GuEe-GUI     add ARM GIC definitions
 * 2021-09-11     GuEe-GUI     rename right macros for gic
 */

#ifndef BOARD_H__
#define BOARD_H__

#include <rthw.h>
#include <rtdef.h>
#include <stdint.h>

extern unsigned char __bss_start;
extern unsigned char __bss_end;

#define RT_HW_HEAP_BEGIN    (void*)&__bss_end
#define RT_HW_HEAP_END      (void*)(RT_HW_HEAP_BEGIN + 1 * 1024 * 1024)

#define __REG32(x)  (*((volatile unsigned int *)(x)))

#define VIRTIO_SPI_IRQ_BASE         32

/* Virtio BLK */
#define VIRTIO_MMIO_BLK0_BASE       0x0a000000
#define VIRTIO_MMIO_BLK0_SIZE       0x00000200
#define VIRTIO_MMIO_BLK0_IRQ        (VIRTIO_SPI_IRQ_BASE + 0x10)

/* UART */
#define PL011_UARTDR                0x000
#define PL011_UARTFR                0x018
#define PL011_UARTFR_TXFF_BIT       5
#define PL011_UART0_BASE            0x09000000
#define PL011_UART0_SIZE            0x00001000
#define PL011_UART0_IRQNUM          (VIRTIO_SPI_IRQ_BASE + 1)

/* RTC */
#define PL031_RTC_BASE              0x9010000
#define PL031_RTC_SIZE              0x00001000
#define PL031_RTC_IRQNUM            (VIRTIO_SPI_IRQ_BASE + 2)

/* DIST and CPU */
#define GIC_PL390_DISTRIBUTOR_PPTR  0x08000000
#define GIC_PL390_CONTROLLER_PPTR   0x08010000

#define MAX_HANDLERS                96
#define GIC_IRQ_START               0
/* number of interrupts on board */
#define ARM_GIC_NR_IRQS             96
/* only one GIC available */
#define ARM_GIC_MAX_NR              1

/* ipi interrupt number */
#define IRQ_ARM_IPI_KICK            0
#define IRQ_ARM_IPI_CALL            1

#define IRQ_ARM_VTIMER              27

/* the basic constants and interfaces needed by gic */
rt_inline rt_uint32_t platform_get_gic_dist_base(void)
{
    return GIC_PL390_DISTRIBUTOR_PPTR;
}

rt_inline rt_uint32_t platform_get_gic_cpu_base(void)
{
    return GIC_PL390_CONTROLLER_PPTR;
}

void rt_hw_board_init(void);

#endif