out_with_header  3000 drivers/firewire/ohci.c 		goto out_with_header;
out_with_header  3009 drivers/firewire/ohci.c  out_with_header: