modify_ldt$write2(0x11, &(0x7f0000000000)={0x80000001}, 0x10)