- e -

• e_gdte_type : gdt.h
• e_idte_type : event.h
• Elf32_Addr : elf.h
• Elf32_Half : elf.h
• Elf32_Off : elf.h
• Elf32_Word : elf.h

- i -

• int16_t : types.h
• int64_t : types.h
• int8_t : types.h
• intptr_t : types.h

- p -

• pok_blackboard_id_t : types.h
• pok_buffer_id_t : types.h
• pok_event_id_t : types.h
• pok_lockobj_id_t : types.h
• pok_partition_id_t : types.h
• pok_port_direction_t : types.h
• pok_port_id_t : types.h
• pok_port_kind_t : types.h
• pok_port_queueing_discipline_t : port.h
• pok_port_size_t : types.h
• pok_queueing_discipline_t : types.h
• pok_range_t : types.h
• pok_sem_id_t : types.h
• pok_sem_value_t : types.h
• pok_size_t : types.h
• pok_spinlock_t : spinlock.h
• ptd : space.h
• pte : space.h

- s -

• size_t : types.h
• sparc_traps_handler : traps.h

- u -

• uint16_t : types.h
• uint32_t : types.h
• uint64_t : types.h
• uint8_t : types.h