Symbol: assign_io_interrupt_to_cpu