HelenOS sources

IO_PORTS           87 kernel/arch/amd64/include/arch/pm.h #define IO_PORTS  (64 * 1024)
IO_PORTS           81 kernel/arch/ia32/include/arch/pm.h #define IO_PORTS  (64 * 1024)
HelenOS homepage, sources at GitHub