r0 = fsopen(&(0x7f0000000080)='tracefs\x00', 0x0)
fsconfig$FSCONFIG_SET_BINARY(r0, 0x2, &(0x7f0000000000)='debugfs\x00', &(0x7f0000000040)='T', 0x1)
read(r0, &(0x7f0000000200)=""/222, 0xde)