• ddekit_addr_t : types.h
• ddekit_condvar_t : condvar.h
• ddekit_int16_t : types.h
• ddekit_int32_t : types.h
• ddekit_int8_t : types.h
• ddekit_lock_t : lock.h
• ddekit_pci_dev_t : ddekit/src/pci.c
• ddekit_pci_res_t : pci.h
• ddekit_sem_t : semaphore.h
• ddekit_thread_t : thread.h
• ddekit_timer_t : ddekit/src/timer.c
• ddekit_uint16_t : types.h
• ddekit_uint32_t : types.h
• ddekit_uint8_t : types.h
• l4dde_pci_dev_t : linux26/lib/src/arch/l4/pci.c
• l4ddekit_initcall_t : initcall.h
• tvec_base_t : linux26/lib/src/arch/l4/timer.c
• tvec_root_t : linux26/lib/src/arch/l4/timer.c
• tvec_t : linux26/lib/src/arch/l4/timer.c