modify_ldt$write2(0x11, &(0x7f0000000000), 0x10)
modify_ldt$write2(0x11, &(0x7f0000000040), 0x10)