Searched refs:wk_vaddrp (Results 1 – 1 of 1) sorted by relevance
174 caddr_t *wk_vaddrp; member316 if (wkp->wk_vaddrp != NULL) { in fill_address()335 *wkp->wk_vaddrp = (caddr_t)(uintptr_t)vaddr; in fill_address()338 (void *)*wkp->wk_vaddrp); in fill_address()