14 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_mem));  in z_vrfy_ivshmem_get_mem()
15 	K_OOPS(K_SYSCALL_MEMORY_WRITE(memmap, sizeof(uintptr_t)));  in z_vrfy_ivshmem_get_mem()
23 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_id));  in z_vrfy_ivshmem_get_id()
31 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_vectors));  in z_vrfy_ivshmem_get_vectors()
40 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, int_peer));  in z_vrfy_ivshmem_int_peer()
50 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, register_handler));  in z_vrfy_ivshmem_register_handler()
51 	K_OOPS(K_SYSCALL_OBJ(signal, K_OBJ_POLL_SIGNAL));  in z_vrfy_ivshmem_register_handler()
62 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_rw_mem_section));  in z_vrfy_ivshmem_get_rw_mem_section()
63 	K_OOPS(K_SYSCALL_MEMORY_WRITE(memmap, sizeof(uintptr_t)));  in z_vrfy_ivshmem_get_rw_mem_section()
73 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_output_mem_section));  in z_vrfy_ivshmem_get_output_mem_section()
74 	K_OOPS(K_SYSCALL_MEMORY_WRITE(memmap, sizeof(uintptr_t)));  in z_vrfy_ivshmem_get_output_mem_section()
83 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_state));  in z_vrfy_ivshmem_get_state()
92 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, set_state));  in z_vrfy_ivshmem_set_state()
100 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_max_peers));  in z_vrfy_ivshmem_get_max_peers()
108 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_protocol));  in z_vrfy_ivshmem_get_protocol()
117 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, enable_interrupts));  in z_vrfy_ivshmem_enable_interrupts()