12 	K_OOPS(K_SYSCALL_DRIVER_RTC(dev, set_time));  in z_vrfy_rtc_set_time()
13 	K_OOPS(K_SYSCALL_MEMORY_READ(timeptr, sizeof(struct rtc_time)));  in z_vrfy_rtc_set_time()
20 	K_OOPS(K_SYSCALL_DRIVER_RTC(dev, get_time));  in z_vrfy_rtc_get_time()
21 	K_OOPS(K_SYSCALL_MEMORY_WRITE(timeptr, sizeof(struct rtc_time)));  in z_vrfy_rtc_get_time()
30 	K_OOPS(K_SYSCALL_DRIVER_RTC(dev, alarm_get_supported_fields));  in z_vrfy_rtc_alarm_get_supported_fields()
31 	K_OOPS(K_SYSCALL_MEMORY_WRITE(mask, sizeof(uint16_t)));  in z_vrfy_rtc_alarm_get_supported_fields()
39 	K_OOPS(K_SYSCALL_DRIVER_RTC(dev, alarm_set_time));  in z_vrfy_rtc_alarm_set_time()
40 	K_OOPS(K_SYSCALL_MEMORY_READ(timeptr, sizeof(struct rtc_time)));  in z_vrfy_rtc_alarm_set_time()
48 	K_OOPS(K_SYSCALL_DRIVER_RTC(dev, alarm_get_time));  in z_vrfy_rtc_alarm_get_time()
49 	K_OOPS(K_SYSCALL_MEMORY_WRITE(mask, sizeof(uint16_t)));  in z_vrfy_rtc_alarm_get_time()
50 	K_OOPS(K_SYSCALL_MEMORY_WRITE(timeptr, sizeof(struct rtc_time)));  in z_vrfy_rtc_alarm_get_time()
57 	K_OOPS(K_SYSCALL_DRIVER_RTC(dev, alarm_is_pending));  in z_vrfy_rtc_alarm_is_pending()
66 	K_OOPS(K_SYSCALL_DRIVER_RTC(dev, set_calibration));  in z_vrfy_rtc_set_calibration()
74 	K_OOPS(K_SYSCALL_DRIVER_RTC(dev, get_calibration));  in z_vrfy_rtc_get_calibration()
75 	K_OOPS(K_SYSCALL_MEMORY_WRITE(calibration, sizeof(int32_t)));  in z_vrfy_rtc_get_calibration()