include <linux/stat.h>
include <uapi/linux/fcntl.h>
include <uapi/linux/fuse.h>
include <fs/hmdfs/hmdfs.h>
include <asm/ioctls.h>

resource fd_sys_fs_hmdfs_cmd[fd]

openat$fd_sys_fs_hmdfs_cmd(fd const[AT_FDCWD], file ptr[in, string["/sys/fs/hmdfs/13272509345601772847/cmd"]], flags const[O_RDWR], mode const[0]) fd_sys_fs_hmdfs_cmd

write$CMD_UPDATE_SOCKET(fd fd_sys_fs_hmdfs_cmd, buf ptr[in, string["0"]], len bytesize[buf])
lseek$1(fd fd_sys_fs_hmdfs_cmd, offset const[0x0], whence const[0x0])
write$CMD_UPDATE_DEVSL(fd fd_sys_fs_hmdfs_cmd, buf ptr[in, string["1"]], len bytesize[buf])
lseek$2(fd fd_sys_fs_hmdfs_cmd, offset const[0x0], whence const[0x0])
write$CMD_OFF_LINE(fd fd_sys_fs_hmdfs_cmd, buf ptr[in, string["2"]], len bytesize[buf])
lseek$3(fd fd_sys_fs_hmdfs_cmd, offset const[0x0], whence const[0x0])
write$CMD_OFF_LINE_ALL(fd fd_sys_fs_hmdfs_cmd, buf ptr[in, string["3"]], len bytesize[buf])
lseek$4(fd fd_sys_fs_hmdfs_cmd, offset const[0x0], whence const[0x0])
write$CMD_CNT(fd fd_sys_fs_hmdfs_cmd, buf ptr[in, string["4"]], len bytesize[buf])
lseek$5(fd fd_sys_fs_hmdfs_cmd, offset const[0x0], whence const[0x0])