Symbol: wkdevice
usr/src/uts/sun4u/os/fillsysinfo.c
180
} wkdevice[] = {
usr/src/uts/sun4u/os/fillsysinfo.c
195
struct wkdevice *wkp;
usr/src/uts/sun4u/os/fillsysinfo.c
220
for (wkp = wkdevice; wkp->wk_namep; ++wkp) {
usr/src/uts/sun4u/os/fillsysinfo.c
307
struct wkdevice *wkp;
usr/src/uts/sun4u/os/fillsysinfo.c
311
for (wkp = wkdevice; wkp->wk_namep; ++wkp) {