void __disable_irq() {
}

void __enable_irq() {
}