Lines Matching defs:wkp
195 struct wkdevice *wkp;
220 for (wkp = wkdevice; wkp->wk_namep; ++wkp) {
221 if (wkp->wk_flags == V_MUSTHAVE) {
223 "device %s not mapped", wkp->wk_namep);
307 struct wkdevice *wkp;
311 for (wkp = wkdevice; wkp->wk_namep; ++wkp) {
312 if (strcmp(wkp->wk_namep, namep) != 0)
314 if (wkp->wk_flags == V_MAPPED)
316 if (wkp->wk_vaddrp != NULL) {
335 *wkp->wk_vaddrp = (caddr_t)(uintptr_t)vaddr;
338 (void *)*wkp->wk_vaddrp);
341 if (wkp->wk_func != NULL)
342 (*wkp->wk_func)(curnode);
348 if (wkp->wk_flags != V_MULTI)
349 wkp->wk_flags = V_MAPPED;