pio_write_be64 110 uspace/lib/c/include/ddi.h static inline void pio_write_be64(ioport64_t *reg, uint64_t val) pio_write_be64 110 uspace/lib/posix/include/libc/ddi.h static inline void pio_write_be64(ioport64_t *reg, uint64_t val)HelenOS homepage, sources at GitHub