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