taglinefilesource code
number_serviced241kernel/blk_drv/scsi/aha1542.cint number_serviced;
number_serviced256kernel/blk_drv/scsi/aha1542.cnumber_serviced = 0;
number_serviced274kernel/blk_drv/scsi/aha1542.cif (number_serviced) return;
number_serviced352kernel/blk_drv/scsi/aha1542.cnumber_serviced++;
number_serviced127kernel/blk_drv/scsi/aha1740.cint number_serviced;
number_serviced131kernel/blk_drv/scsi/aha1740.cnumber_serviced = 0;
number_serviced185kernel/blk_drv/scsi/aha1740.cnumber_serviced++;