Typedefs starting with `v' in kern
void
kern/sched_prim.h:78