HelenOS sources

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