Typedefs starting with `t' in kern

• task_array_t kern/kern_types.h:74
• task_t kern/kern_types.h:71
• tcp_conn_ptr_t kern/netport_tcp.c:188
• tcp_trans_ptr_t kern/netport_tcp.c:144
• thread_array_t kern/kern_types.h:82
• thread_call_spec_t kern/thread_call.h:49
• thread_call_t kern/thread_call.h:50
• thread_t kern/kern_types.h:79
• timeout kern/kdp_en_debugger.h:38
• timer_data_t kern/timer.h:128
• timer_elt_data_t kern/time_out.h:82
• timer_elt_t kern/time_out.h:83
• timer_save_t kern/timer.h:154
• timer_t kern/timer.h:129
• timer_type_t kern/clock.h:98
• timestamp kern/clock.h:105