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.