crashtest-r0ket/simulat0r/simcore/misc.c

void __disable_irq() {
}

void __enable_irq() {
}


void notimplemented() {
}

void timer32Callback0() {
}

void getrelease() {
}

void format_formatDF() {
}