io_setup(0xffff, &(0x7f0000000140))
io_setup(0x7ff, &(0x7f0000000200))