1include <linux/stat.h> 2include <uapi/linux/fuse.h> 3include <uapi/linux/fcntl.h> 4include <include/linux/kernfs.h> 5 6resource fd_avail_buffers[fd] 7openat$fd_avail_buffers(fd const[AT_FDCWD], file ptr[in, string["/dev/memcg/memory.avail_buffers"]], flags const[O_RDWR], mode const[0]) fd_avail_buffers 8 9write$AVAIL_BUFFERS(fd fd_avail_buffers, data ptr[in, int32], len bytesize[data])