modify_ldt$write2(0x11, &(0x7f0000000300), 0x10)
modify_ldt$write2(0x11, &(0x7f0000000700), 0x10)