37#ifndef LIBBSP_ARM_XEN_BSP_H
38#define LIBBSP_ARM_XEN_BSP_H
48#define BSP_FEATURE_IRQ_EXTENSION
61#define BSP_ARM_GIC_CPUIF_BASE 0x03002000
62#define BSP_ARM_GIC_CPUIF_LENGTH 0x1000
64#define BSP_ARM_GIC_DIST_BASE 0x03001000
65#define BSP_ARM_GIC_DIST_LENGTH 0x1000
67#define BSP_ARM_A9MPCORE_SCU_BASE 0
69#define BSP_ARM_A9MPCORE_GT_BASE 0
71#define BSP_XEN_VPL011_BASE 0x22000000
72#define BSP_XEN_VPL011_LENGTH 0x1000
74BSP_START_TEXT_SECTION
void bsp_xen_setup_mmu_and_cache(
void);
This header file provides the default definition of BSP_INITIAL_EXTENSION.
This header file defines the RTEMS Classic API.