modify_ldt$write2(0x11, &(0x7f0000000000), 0x10)
msgctl$IPC_INFO(0x0, 0x3, &(0x7f0000000300)=""/239)