bsp.h File Reference

This source file contains the base BSP definitions. More...

#include <bspopts.h>
#include <bsp/default-initial-extension.h>
#include <bsp/start.h>
#include <rtems.h>

Go to the source code of this file.

Macros
#define	BSP_FEATURE_IRQ_EXTENSION
#define	BSP_START_IMAGE_HEADER_LOAD_OFFSET   BSP_XEN_LOAD_OFFSET
#define	BSP_ARM_GIC_CPUIF_BASE   0x03002000
#define	BSP_ARM_GIC_CPUIF_LENGTH   0x2000
#define	BSP_ARM_GIC_DIST_BASE   0x03001000
#define	BSP_ARM_GIC_DIST_LENGTH   0x1000
#define	BSP_XEN_VPL011_BASE   0x22000000
#define	BSP_XEN_VPL011_LENGTH   0x1000

Functions
BSP_START_TEXT_SECTION void	xen_setup_mmu_and_cache (void)
BSP_START_TEXT_SECTION void	xen_setup_secondary_cpu_mmu_and_cache (void)
	Xen-specific set up of the MMU for non-primary cores.

Detailed Description

This source file contains the base BSP definitions.