io_setup(0xddd, &(0x7f00000000c0))
io_setup(0x80, &(0x7f0000001600))
io_setup(0x4, &(0x7f00000017c0))
io_setup(0x6, &(0x7f0000001940))
io_setup(0x200, &(0x7f0000001a80))