taglinefilesource code
num_dma43drivers/sbus/dvma.cstatic int num_dma=0;
num_dma68drivers/sbus/dvma.cprintk("dma%d: ", num_dma);
num_dma69drivers/sbus/dvma.cnum_dma++;