1include <asm/ioctl.h> 2include <linux/fcntl.h> 3include <linux/types.h> 4include <include/linux/sched/rtg_ctrl.h> 5 6resource fd_rtg_ctrl[fd] 7 8openat$fd_rtg_ctrl(fd const[AT_FDCWD],file ptr[in,string["/proc/self/sched_rtg_ctrl"]],flags const[O_RDWR],mode const[0]) fd_rtg_ctrl 9close$fd_rtg_ctrl(fd fd_rtg_ctrl) 10 11ioctl$CMD_ID_SET_ENABLE(fd fd_rtg_ctrl,cmd const[CMD_ID_SET_ENABLE],arg ptr[inout,rtg_enable_data]) 12ioctl$CMD_ID_SET_RTG(fd fd_rtg_ctrl,cmd const[CMD_ID_SET_RTG],arg ptr[inout,rtg_grp_data]) 13ioctl$CMD_ID_SET_CONFIG(fd fd_rtg_ctrl,cmd const[CMD_ID_SET_CONFIG],arg ptr[inout,rtg_str_data]) 14ioctl$CMD_ID_SET_RTG_ATTR(fd fd_rtg_ctrl,cmd const[CMD_ID_SET_RTG_ATTR],arg ptr[inout,rtg_str_data]) 15ioctl$CMD_ID_BEGIN_FRAME_FREQ(fd fd_rtg_ctrl,cmd const[CMD_ID_BEGIN_FRAME_FREQ],arg ptr[inout,proc_state_data]) 16ioctl$CMD_ID_END_FRAME_FREQ(fd fd_rtg_ctrl,cmd const[CMD_ID_END_FRAME_FREQ],arg ptr[inout,proc_state_data]) 17ioctl$CMD_ID_END_SCENE(fd fd_rtg_ctrl,cmd const[CMD_ID_END_SCENE],arg ptr[inout,proc_state_data]) 18 19rtg_enable_data{ 20 enable int32 21 len int32 22 data ptr[inout, int8] 23} 24 25rtg_grp_data { 26 rtg_cmd int32 27 grp_id int32 28 prio_type int32 29 rt_cnt int32 30 tid_num int32 31 tids array[int32, 5] 32} 33 34rtg_str_data { 35 type int32 36 len int32 37 data ptr[inout, int8] 38} 39 40proc_state_data { 41 grp_id int32 42 state_param int32 43} 44