dumptcb
dumptcb(kd, (intptr_t)Nl[1].n_value + i * sizeof(struct inpcbinfo));
static void dumptcb(kvm_t *kd, intptr_t tcbinfo);