ioport64_t 56 uspace/lib/c/include/ddi.h typedef volatile uint64_t ioport64_t; ioport64_t 56 uspace/lib/posix/include/libc/ddi.h typedef volatile uint64_t ioport64_t;