crashtest-r0ket/simulat0r/simcore/misc.c

void __disable_irq() {
}

void __enable_irq() {
}