io_setup(0x2, &(0x7f0000000000))
io_setup(0x9, &(0x7f0000000040))
io_setup(0x4e3, &(0x7f0000000080))