kdb_thr_ctx
ctx = kdb_thr_ctx(thr);
ctx = kdb_thr_ctx(thr);
ctx = kdb_thr_ctx(thr);
ctx = kdb_thr_ctx(thr);
kdb_thrctx = kdb_thr_ctx(thr);
ctx = kdb_thr_ctx(td);
ctx = kdb_thr_ctx(thr);
struct pcb *kdb_thr_ctx(struct thread *);