move_msi(vector); 
move_native_irq(vector); 
static void end_msi_irq_w_maskbit(unsigned int vector){	move_msi(vector);	unmask_MSI_irq(vector);	ack_APIC_irq();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/54d5d42404e7705cf3804593189e963350d470e5/msi.c/buggy/drivers/pci/msi.c