r0 = fsopen(&(0x7f00000000c0)='devtmpfs\x00', 0x0)
fsmount(r0, 0x0, 0x0)