taglinefilesource code
trix_boot63drivers/sound/trix.cint             i = 0, n = sizeof (trix_boot);
trix_boot77drivers/sound/trix.coutb (trix_boot[i], 0x391);