37#ifndef LIBBSP_MICROBLAZE_FPGA_BSP_H
38#define LIBBSP_MICROBLAZE_FPGA_BSP_H
50#define BSP_FEATURE_IRQ_EXTENSION
52#ifdef BSP_MICROBLAZE_FPGA_USE_FDT
53#define BSP_FDT_IS_SUPPORTED
54#ifndef BSP_START_COPY_FDT_FROM_U_BOOT
55extern const unsigned char system_dtb[];
56extern const size_t system_dtb_size;
60void microblaze_enable_icache(
void);
61void microblaze_enable_dcache(
void);
62void microblaze_invalidate_icache(
void);
63void microblaze_invalidate_dcache(
void);
64void microblaze_invalidate_dcache_range(
unsigned int cacheaddr,
unsigned int len);
This header file provides the default definition of BSP_INITIAL_EXTENSION.
This header file provides support for the device tree.
This header file defines the RTEMS Classic API.