modify_ldt$write2(0x11, &(0x7f00000002c0)={0x800}, 0x10)
modify_ldt$write2(0x11, &(0x7f0000000340), 0x10)