arch_int_configure_io_interrupt
void arch_int_configure_io_interrupt(int32 irq, uint32 config);
arch_int_configure_io_interrupt(0, B_LEVEL_TRIGGERED);