• cpio_format : cpio.h
• e_gdte_type : gdt.h
• e_idte_type : event.h
• pok_locking_policy_t : lockobj.h
• pok_lockobj_kind_t : lockobj.h
• pok_lockobj_lock_kind_t : lockobj.h
• pok_lockobj_operation_t : lockobj.h
• pok_mutex_state_t : lockobj.h
• pok_port_directions_t : port.h
• pok_port_kinds_t : port.h
• pok_port_queueing_disciplines_t : port.h
• pok_ret_t : errno.h
• pok_sched_t : schedvalues.h
• pok_syscall_id_t : syscall.h