io_setup(0x10000, &(0x7f0000000000))
io_setup(0x8784, &(0x7f0000000140))