thread_machdep     80 kern/include/thread.h 	struct thread_machdep t_machdep; /* Any machine-dependent goo */
thread_machdep     34 kern/include/threadprivate.h struct thread_machdep;	/* from <machine/thread.h> */