packet->header[0] = (length << 16) | (tag << 14) | (channel << 8) | (TCODE_ISO_DATA << 4) | sync; 
packet->header[0] = (length << 16) | (tag << 14) | (channel << 8) | (TCODE_ISO_DATA << 4) | sync; 
static void fill_iso_packet(struct hpsb_packet *packet, int length, int channel,                     int tag, int sync){        packet->header[0] = (length << 16) | (tag << 14) | (channel << 8)                | (TCODE_ISO_DATA << 4) | sync;        packet->header_size = 4;        packet->data_size = length;        packet->type = hpsb_iso;        packet->tcode = TCODE_ISO_DATA;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/16c333a34a1a0441c54c4fe5cf6052716f95c2fa/ieee1394_transactions.c/buggy/drivers/ieee1394/ieee1394_transactions.c