From acbc5b7d05ff9d1ff890aa24f42a334e613445f7 Mon Sep 17 00:00:00 2001 From: Shankara Pailoor Date: Sat, 23 Mar 2019 13:31:54 -0700 Subject: sys/linux: move openat to dev_rtc.txt move openat$rtc to rtc_dev and change return type to fd_rtc --- sys/linux/dev_rtc.txt | 1 + 1 file changed, 1 insertion(+) (limited to 'sys/linux/dev_rtc.txt') diff --git a/sys/linux/dev_rtc.txt b/sys/linux/dev_rtc.txt index c537d84a6..55faaf789 100644 --- a/sys/linux/dev_rtc.txt +++ b/sys/linux/dev_rtc.txt @@ -5,6 +5,7 @@ include resource fd_rtc[fd] +openat$rtc(fd const[AT_FDCWD], file ptr[in, string["/dev/rtc0"]], flags flags[open_flags], mode const[0]) fd_rtc 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]) -- cgit mrf-deployment