• cmd_arg_type : kconsole.h
• irq_cmd_type : irq.h
• pf_access : page.h
• qualifier_t : printf_core.c
• rwlock_type : rwlock.h
• state : thread.h
• syscall_t : syscall.h
• thread_join_type_t : thread.h
• tlb_invalidate_type : tlb.h
• vendor : cpu.c

---