r0 = socket$inet(0x2, 0x3, 0x6)
r1 = openat$procfs(0xffffffffffffff9c, &(0x7f00000006c0)='/proc/cpuinfo\x00', 0x0, 0x0)
sendfile(r0, r1, &(0x7f0000000700)=0xd39d, 0x8)