[  8595] read_port_etc(0x25, [0xffffffffffffffff], (nil), 0x0, 0x8, 0x7fffff9166b5a894) = 0xffffffff80000009 (141 us)
[  8595] read_port_etc(0x25, [0xffffffffffffffff], (nil), 0x0, 0x8, 0x7fffff9166b5a259) = 0xffffffff80000009 (155 us)
[  8595] read_port_etc(0x25, [0xffffffffffffffff], (nil), 0x0, 0x8, 0x7fffff9166b59ae2) = 0xffffffff80000009 (257 us)
[  8595] read_port_etc(0x25, [0xffffffffffffffff], (nil), 0x0, 0x8, 0x7fffff9166b592c8) = 0xffffffff80000009 (253 us)
[  8595] read_port_etc(0x25, [0xffffffffffffffff], (nil), 0x0, 0x8, 0x7fffff9166b587e1) = 0xffffffff80000009 (277 us)
[  8595] read_port_etc(0x25, [0xffffffffffffffff], (nil), 0x0, 0x8, 0x7fffff9166b57e35) = 0xffffffff80000009 (268 us)