include <linux/stat.h>
include <uapi/linux/fuse.h>
include <uapi/linux/fcntl.h>

resource fd_sched_groupid[fd]

openat$fd_sched_groupid(fd const[AT_FDCWD], file ptr[in, string["/proc/thread-self/sched_group_id"]], flags const[O_RDWR], mode const[0]) fd_sched_groupid

type read_sched_group array[int8, 1024]
read$SCHED_GROUP(fd fd_sched_groupid, buf ptr[out, read_sched_group], len bytesize[buf])

write$SCHED_INT(fd fd_sched_groupid, data ptr[in, int32], len bytesize[data])