taglinefilesource code
eol_seen150drivers/sound/maui.cint             eol_seen = 0, done = 0;
eol_seen163drivers/sound/maui.ceol_seen = skip = 1;
eol_seen179drivers/sound/maui.cif (eol_seen)
eol_seen185drivers/sound/maui.ceol_seen = 0;