Typedefs starting with `c' in kern

• call kern/thread_call.h:54
• clock_type_t kern/clock.h:80