20 #ifndef LIBBSP_ARM_RASPBERRYPI_BSP_H 21 #define LIBBSP_ARM_RASPBERRYPI_BSP_H 42 #define BSP_FEATURE_IRQ_EXTENSION 44 #if BSP_START_COPY_FDT_FROM_U_BOOT 45 #define BSP_FDT_IS_SUPPORTED 48 #define RPI_L2_CACHE_ENABLE 1 50 #define BSP_GPIO_PIN_COUNT 32 51 #define BSP_GPIO_PINS_PER_BANK 32 52 #define BSP_GPIO_PINS_PER_SELECT_BANK 10 54 #define BSP_CONSOLE_UART0 0 55 #define BSP_CONSOLE_FB 1 57 void *raspberrypi_get_reg_of_node(
const void *fdt,
int node);
59 void rpi_init_cmdline(
void);
60 const char *rpi_cmdline_get_cached(
void);
61 const char *rpi_cmdline_get_raw(
void);
62 const char *rpi_cmdline_get_arg(
const char* arg);
64 void rpi_video_init(
void);
65 void rpi_fb_outch (
char);
66 int rpi_video_is_initialized(
void);
68 void rpi_ipi_initialize(
void);
69 void rpi_start_rtems_on_secondary_processor(
void);
DEFAULT_INITIAL_EXTENSION Support.