|
@@ -73,7 +73,8 @@ void gdbstub_io_init(void)
|
|
GDBPORT_SERIAL_IER = UART_IER_RDI | UART_IER_RLSI;
|
|
GDBPORT_SERIAL_IER = UART_IER_RDI | UART_IER_RLSI;
|
|
|
|
|
|
/* permit level 0 IRQs to take place */
|
|
/* permit level 0 IRQs to take place */
|
|
- local_change_intr_mask_level(NUM2EPSW_IM(CONFIG_GDBSTUB_IRQ_LEVEL + 1));
|
|
|
|
|
|
+ arch_local_change_intr_mask_level(
|
|
|
|
+ NUM2EPSW_IM(CONFIG_GDBSTUB_IRQ_LEVEL + 1));
|
|
}
|
|
}
|
|
|
|
|
|
/*
|
|
/*
|