rlk               402 kern/dev/generic/console.c 	struct lock *rlk, *wlk;
rlk               426 kern/dev/generic/console.c 	rlk = lock_create("console-lock-read");
rlk               427 kern/dev/generic/console.c 	if (rlk == NULL) {
rlk               434 kern/dev/generic/console.c 		lock_destroy(rlk);
rlk               446 kern/dev/generic/console.c 	con_userlock_read = rlk;