From 9f528bbcc8a3d94c9be27a0eecc12022d4b3bfaa Mon Sep 17 00:00:00 2001 From: Andrey Konovalov Date: Fri, 1 Feb 2019 01:08:17 +0100 Subject: sys/linux: rename dev descriptions files Prefix file names of descriptions of /dev/* files with dev_. And give some of them more appropriate names. --- sys/linux/rtc.txt | 61 ------------------------------------------------------- 1 file changed, 61 deletions(-) delete mode 100644 sys/linux/rtc.txt (limited to 'sys/linux/rtc.txt') diff --git a/sys/linux/rtc.txt b/sys/linux/rtc.txt deleted file mode 100644 index c537d84a6..000000000 --- a/sys/linux/rtc.txt +++ /dev/null @@ -1,61 +0,0 @@ -# Copyright 2018 syzkaller project authors. All rights reserved. -# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. - -include - -resource fd_rtc[fd] - -syz_open_dev$rtc(dev ptr[in, string["/dev/rtc#"]], id intptr, flags flags[open_flags]) fd_rtc - -ioctl$RTC_AIE_OFF(fd fd_rtc, cmd const[RTC_AIE_OFF]) -ioctl$RTC_AIE_ON(fd fd_rtc, cmd const[RTC_AIE_ON]) -ioctl$RTC_PIE_OFF(fd fd_rtc, cmd const[RTC_PIE_OFF]) -ioctl$RTC_PIE_ON(fd fd_rtc, cmd const[RTC_PIE_ON]) -ioctl$RTC_UIE_OFF(fd fd_rtc, cmd const[RTC_UIE_OFF]) -ioctl$RTC_UIE_ON(fd fd_rtc, cmd const[RTC_UIE_ON]) -ioctl$RTC_WIE_ON(fd fd_rtc, cmd const[RTC_WIE_ON]) -ioctl$RTC_WIE_OFF(fd fd_rtc, cmd const[RTC_WIE_OFF]) -ioctl$RTC_ALM_READ(fd fd_rtc, cmd const[RTC_ALM_READ], arg ptr[out, rtc_time]) -ioctl$RTC_ALM_SET(fd fd_rtc, cmd const[RTC_ALM_SET], arg ptr[in, rtc_time]) -ioctl$RTC_RD_TIME(fd fd_rtc, cmd const[RTC_RD_TIME], arg ptr[out, rtc_time]) -ioctl$RTC_SET_TIME(fd fd_rtc, cmd const[RTC_SET_TIME], arg ptr[in, rtc_time]) -ioctl$RTC_IRQP_READ(fd fd_rtc, cmd const[RTC_IRQP_READ], arg ptr[out, intptr]) -ioctl$RTC_IRQP_SET(fd fd_rtc, cmd const[RTC_IRQP_SET], arg intptr[1:RTC_MAX_FREQ]) -ioctl$RTC_EPOCH_READ(fd fd_rtc, cmd const[RTC_EPOCH_READ], arg ptr[out, intptr]) -ioctl$RTC_EPOCH_SET(fd fd_rtc, cmd const[RTC_EPOCH_SET], arg intptr) -ioctl$RTC_WKALM_RD(fd fd_rtc, cmd const[RTC_WKALM_RD], arg ptr[out, rtc_wkalrm]) -ioctl$RTC_WKALM_SET(fd fd_rtc, cmd const[RTC_WKALM_SET], arg ptr[in, rtc_wkalrm]) -ioctl$RTC_PLL_GET(fd fd_rtc, cmd const[RTC_PLL_GET], arg ptr[out, rtc_pll_info]) -ioctl$RTC_PLL_SET(fd fd_rtc, cmd const[RTC_PLL_SET], arg ptr[in, rtc_pll_info]) -ioctl$RTC_VL_READ(fd fd_rtc, cmd const[RTC_VL_READ], arg ptr[out, int32]) -ioctl$RTC_VL_CLR(fd fd_rtc, cmd const[RTC_VL_CLR]) - -rtc_time { - tm_sec int32[0:60] - tm_min int32[0:59] - tm_hour int32[0:23] - tm_mday int32[1:31] - tm_mon int32[0:11] - tm_year int32 - tm_wday int32[0:6] - tm_yday int32[0:365] - tm_isdst flags[rtc_isdst, int32] -} - -rtc_wkalrm { - enabled bool8 - pending bool8 - time rtc_time -} - -rtc_pll_info { - pll_ctrl int32 - pll_value int32 - pll_max int32 - pll_min int32 - pll_posmult int32 - pll_negmult int32 - pll_clock intptr -} - -rtc_isdst = 0, 1, -1 -- cgit mrf-deployment