#include "irq.h"

void irq_init() {
    // IRQ initialization code
}