499732: execve("/bin/df", 0x2FF229D0, 0x2000E538)	 argc: 3
499732: sbrk(0x00000000)				= 0x20000E08
499732: vmgetinfo(0x2FF21B90, 7, 16)			= 0
499732: sbrk(0x00000000)				= 0x20000E08
499732: sbrk(0x00000008)				= 0x20000E08
499732: __libc_sbrk(0x00000000)				= 0x20000E10
499732: getuidx(4)					= 0
499732: getuidx(2)					= 0
499732: getuidx(1)					= 0
499732: getgidx(4)					= 0
499732: getgidx(2)					= 0
499732: getgidx(1)					= 0
499732: __loadx(0x01000080, 0x2FF21640, 0x00000960, 0x2FF220C0, 0x2FF22F5D) = 0x00000000
499732: mntctl(2, 4096, "")				= 15
499732: kioctl(1, 22528, 0x00000000, 0x00000000)	= 0
499732: kwrite(1, " F i l e s y s t e m    ".., 67)	= 67
499732: statfs64("/tsmstg", 0x2FF21530)			= 0
499732: kwrite(1, " / d e v / t s m s t g l".., 64)	= 64
499732: kfcntl(1, F_GETFL, 0x00000074)			= 67110914
499732: kfcntl(2, F_GETFL, 0xF0B44010)			= 67110914
499732: _exit(0)