LK_KERNPROC
tid = LK_KERNPROC;
if (tid != LK_KERNPROC)
LK_KERNPROC | x))
if (td == (struct thread *)LK_KERNPROC)
if (v == (uintptr_t)curthread || v == LK_KERNPROC)
if (td == (struct thread *)LK_KERNPROC)
if (owner == (struct thread *)LK_KERNPROC)
if (owner == (struct thread *)LK_KERNPROC)
if (td == (void *)LK_KERNPROC) {
(LK_HOLDER((v)) == LK_KERNPROC)