sys/linux: rename dev descriptions files

Prefix file names of descriptions of /dev/* files with dev_.
And give some of them more appropriate names.

1 files changed, 61 insertions, 0 deletions

diff --git a/sys/linux/dev_rtc.txt b/sys/linux/dev_rtc.txt
new file mode 100644
index 000000000..c537d84a6
--- /dev/null
+++ b/sys/linux/dev_rtc.txt
@@ -0,0 +1,61 @@
+# 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 <linux/rtc.h>
+
+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