r0 = socket$netlink(0x10, 0x3, 0xf)
sendmsg$TIPC_CMD_GET_MEDIA_NAMES(r0, &(0x7f0000000f80)={&(0x7f0000000e80)={0x10, 0x0, 0x0, 0x2000}, 0xc, &(0x7f0000000f40)={&(0x7f0000000f00)={0x1c}, 0x1c}}, 0x0)