r0 = socket$nl_generic(0x10, 0x3, 0x10)
getsockopt$sock_buf(r0, 0x1, 0x1c, &(0x7f00000003c0)=""/4096, &(0x7f00000013c0)=0x1000)