82 lines
1.8 KiB
C
82 lines
1.8 KiB
C
|
/*
|
||
|
|
* Copyright (c) 2006-2021, RT-Thread Development Team
|
||
|
|
*
|
||
|
|
* SPDX-License-Identifier: Apache-2.0
|
||
|
|
*
|
||
|
|
* Change Logs:
|
||
|
|
* Date Author Notes
|
||
|
|
* 2021-02-17 GuEe-GUI the first version
|
||
|
|
*/
|
||
|
|
|
||
|
|
#ifndef VIRT_H__
|
||
|
|
#define VIRT_H__
|
||
|
|
|
||
|
|
#include <rtdef.h>
|
||
|
|
|
||
|
|
/* UART */
|
||
|
|
#define PL011_UART0_BASE 0x09000000
|
||
|
|
#define PL011_UART0_SIZE 0x00001000
|
||
|
|
#define PL011_UART0_IRQNUM (32 + 1)
|
||
|
|
|
||
|
|
/* RTC */
|
||
|
|
#define PL031_RTC_BASE 0x9010000
|
||
|
|
#define PL031_RTC_SIZE 0x00001000
|
||
|
|
#define PL031_RTC_IRQNUM (32 + 2)
|
||
|
|
|
||
|
|
/* VirtIO */
|
||
|
|
#define VIRTIO_MMIO_BASE 0x0a000000
|
||
|
|
#define VIRTIO_MMIO_SIZE 0x00000200
|
||
|
|
#define VIRTIO_MAX_NR 32
|
||
|
|
#define VIRTIO_IRQ_BASE (32 + 16)
|
||
|
|
#define VIRTIO_VENDOR_ID 0x554d4551 /* "QEMU" */
|
||
|
|
|
||
|
|
/* GIC */
|
||
|
|
#define MAX_HANDLERS 96
|
||
|
|
#define GIC_IRQ_START 0
|
||
|
|
#define ARM_GIC_NR_IRQS 96
|
||
|
|
#define ARM_GIC_MAX_NR 1
|
||
|
|
|
||
|
|
#define IRQ_ARM_IPI_KICK 0
|
||
|
|
#define IRQ_ARM_IPI_CALL 1
|
||
|
|
|
||
|
|
/* GICv2 */
|
||
|
|
#define GIC_PL390_DISTRIBUTOR_PPTR 0x08000000
|
||
|
|
#define GIC_PL390_CONTROLLER_PPTR 0x08010000
|
||
|
|
|
||
|
|
/* GICv3 */
|
||
|
|
#define GIC_PL500_DISTRIBUTOR_PPTR GIC_PL390_DISTRIBUTOR_PPTR
|
||
|
|
#define GIC_PL500_REDISTRIBUTOR_PPTR 0x080a0000
|
||
|
|
#define GIC_PL500_CONTROLLER_PPTR GIC_PL390_CONTROLLER_PPTR
|
||
|
|
#define GIC_PL500_ITS_PPTR 0x08080000
|
||
|
|
|
||
|
|
/* the basic constants and interfaces needed by gic */
|
||
|
|
rt_inline rt_uint32_t platform_get_gic_dist_base(void)
|
||
|
|
{
|
||
|
|
#ifdef BSP_USING_GICV2
|
||
|
|
return GIC_PL390_DISTRIBUTOR_PPTR;
|
||
|
|
#else
|
||
|
|
return GIC_PL500_DISTRIBUTOR_PPTR;
|
||
|
|
#endif
|
||
|
|
}
|
||
|
|
|
||
|
|
rt_inline rt_uint32_t platform_get_gic_redist_base(void)
|
||
|
|
{
|
||
|
|
return GIC_PL500_REDISTRIBUTOR_PPTR;
|
||
|
|
}
|
||
|
|
|
||
|
|
rt_inline rt_uint32_t platform_get_gic_cpu_base(void)
|
||
|
|
{
|
||
|
|
#ifdef BSP_USING_GICV2
|
||
|
|
return GIC_PL390_CONTROLLER_PPTR;
|
||
|
|
#else
|
||
|
|
return GIC_PL500_CONTROLLER_PPTR;
|
||
|
|
#endif
|
||
|
|
}
|
||
|
|
|
||
|
|
rt_inline rt_uint32_t platform_get_gic_its_base(void)
|
||
|
|
{
|
||
|
|
return GIC_PL500_ITS_PPTR;
|
||
|
|
}
|
||
|
|
|
||
|
|
#endif
|