37#ifndef LIBBSP_MICROBLAZE_FPGA_BSP_H
38#define LIBBSP_MICROBLAZE_FPGA_BSP_H
50#ifdef BSP_MICROBLAZE_FPGA_USE_FDT
51#define BSP_FDT_IS_SUPPORTED
52#ifndef BSP_START_COPY_FDT_FROM_U_BOOT
53extern const unsigned char system_dtb[];
54extern const size_t system_dtb_size;
58void microblaze_enable_icache(
void);
59void microblaze_enable_dcache(
void);
60void microblaze_invalidate_icache(
void);
61void microblaze_invalidate_dcache(
void);
62void 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.