void platform_early_init(void) { /* Initialize board identifier data */ board_init(); /* Read boot config for identifying boot device */ platform_read_boot_config(); /* Initialize clock driver */ platform_clock_init(); /* Initialize interrupt controller */ qgic_init(); /* timer */ qtimer_init(); }
void platform_early_init(void) { #if WITH_DEBUG_UART uart1_clock_init(); uart_init(); #endif if(machine_is_8x25()) { qgic_init(); target_uses_qgic = 1; debug_timer = (GIC_PPI_START + 2); gpt_timer = (GIC_PPI_START + 3); usb_hs_int = INT_USB_HS_GIC; } else { platform_init_interrupts(); debug_timer = 8; gpt_timer = 7; usb_hs_int = INT_USB_HS_VIC; } platform_init_timer(); }
void platform_early_init(void) { uart_init(target_uart_gsbi()); qgic_init(); platform_init_timer(); }
void platform_early_init(void) { qgic_init(); platform_init_timer(); }
void platform_early_init(void) { qgic_init(); qtimer_init(); }