HelenOS sources
boot/arch/arm32/include/arch/types.h
boot/arch/arm64/include/arch/types.h
boot/arch/ia64/include/arch/types.h
boot/arch/mips32/include/arch/types.h
boot/arch/ppc32/include/arch/types.h
boot/arch/riscv64/include/arch/types.h
boot/arch/sparc64/include/arch/types.h
kernel/arch/abs32le/include/arch/types.h
kernel/arch/amd64/include/arch/types.h
kernel/arch/arm32/include/arch/types.h
kernel/arch/arm64/include/arch/types.h
kernel/arch/ia32/include/arch/types.h
kernel/arch/ia64/include/arch/types.h
kernel/arch/mips32/include/arch/types.h
kernel/arch/ppc32/include/arch/types.h
kernel/arch/riscv64/include/arch/types.h
kernel/arch/sparc64/include/arch/types.h
kernel/generic/include/debug/types.h
uspace/lib/ext4/include/ext4/types.h
uspace/lib/posix/include/posix/sys/types.h
HelenOS homepage, sources at GitHub