Symbol: pci402_finish_interrupt