wlk               402 kern/dev/generic/console.c 	struct lock *rlk, *wlk;
wlk               432 kern/dev/generic/console.c 	wlk = lock_create("console-lock-write");
wlk               433 kern/dev/generic/console.c 	if (wlk == NULL) {
wlk               447 kern/dev/generic/console.c 	con_userlock_write = wlk;