syscallprint
void syscallprint(struct ktr_header *);
syscallprint(kth);
syscallprint(&syscall_ent->kte_kth);