taglinefilesource code
wavelan_splx204drivers/net/wavelan.cwavelan_splx(x);
wavelan_splx223drivers/net/wavelan.cwavelan_splx(x);
wavelan_splx1180drivers/net/wavelan.cwavelan_splx(x);
wavelan_splx1292drivers/net/wavelan.cwavelan_splx(x);
wavelan_splx1754drivers/net/wavelan.cwavelan_splx(x);
wavelan_splx1763drivers/net/wavelan.cwavelan_splx(x);
wavelan_splx1778drivers/net/wavelan.cwavelan_splx(x);
wavelan_splx1965drivers/net/wavelan.cwavelan_splx(x);
wavelan_splx1976drivers/net/wavelan.cwavelan_splx(x);
wavelan_splx2086drivers/net/wavelan.cwavelan_splx(x);