static void main_fiq(void) { uint32_t iar; DMSG("%s\n", __func__); iar = gic_read_iar(); while (uart_have_rx_data(CONSOLE_UART_BASE)) DMSG("got 0x%x\n", uart_getchar(CONSOLE_UART_BASE)); gic_write_eoir(iar); DMSG("return from %s\n", __func__); }
static void main_fiq(void) { uint32_t iar; kprintf("%s\n", __func__); iar = gic_read_iar(); while (uart_have_rx_data(UART1_BASE)) kprintf("got 0x%x\n", uart_getchar(UART1_BASE)); gic_write_eoir(iar); kprintf("return from %s\n", __func__); }