taglinefilesource code
private511drivers/char/stallion.cstatic void  stl_offintr(void *private);
private1933drivers/char/stallion.cstatic void stl_offintr(void *private)
private1939drivers/char/stallion.cportp = private;