pio_write_le32 98 uspace/lib/c/include/ddi.h static inline void pio_write_le32(ioport32_t *reg, uint32_t val) pio_write_le32 98 uspace/lib/posix/include/libc/ddi.h static inline void pio_write_le32(ioport32_t *reg, uint32_t val)HelenOS homepage, sources at GitHub