modify_ldt$write2(0x11, &(0x7f0000000080)={0x3ff}, 0x10)
modify_ldt$write2(0x11, &(0x7f0000000200), 0x10)