• l4_addr_t : l4int.h
• l4_cpu_time_t : l4int.h
• l4_int16_t : l4int.h
• l4_int32_t : l4int.h
• l4_int64_t : l4int.h
• l4_int8_t : l4int.h
• l4_kernel_clock_t : l4int.h
• l4_mword_t : l4int.h
• l4_offs_t : l4int.h
• l4_size_t : l4int.h
• l4_ssize_t : l4int.h
• l4_taskid_t : ARCH-x86/L4API-l4v2/types.h
• l4_uint16_t : l4int.h
• l4_uint32_t : l4int.h
• l4_uint64_t : l4int.h
• l4_uint8_t : l4int.h
• l4_umword_t : l4int.h