void platform_early_init(void) { uart1_mux_init(); uart1_clock_init(); uart_init(); platform_init_interrupts(); platform_init_timer(); }
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(); }