r0 = fsopen(&(0x7f0000000200)='cpuset\x00', 0x0)
fsconfig$FSCONFIG_SET_BINARY(r0, 0x2, &(0x7f0000000040)='/dev/vcsu\x00', &(0x7f0000000100)='7', 0x1)