11 static inline size_t z_vrfy_ivshmem_get_mem(const struct device *dev,  in z_vrfy_ivshmem_get_mem()  argument
14 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_mem));  in z_vrfy_ivshmem_get_mem()
17 	return z_impl_ivshmem_get_mem(dev, memmap);  in z_vrfy_ivshmem_get_mem()
21 static inline uint32_t z_vrfy_ivshmem_get_id(const struct device *dev)  in z_vrfy_ivshmem_get_id()  argument
23 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_id));  in z_vrfy_ivshmem_get_id()
25 	return z_impl_ivshmem_get_id(dev);  in z_vrfy_ivshmem_get_id()
29 static inline uint16_t z_vrfy_ivshmem_get_vectors(const struct device *dev)  in z_vrfy_ivshmem_get_vectors()  argument
31 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_vectors));  in z_vrfy_ivshmem_get_vectors()
33 	return z_impl_ivshmem_get_vectors(dev);  in z_vrfy_ivshmem_get_vectors()
37 static inline int z_vrfy_ivshmem_int_peer(const struct device *dev,  in z_vrfy_ivshmem_int_peer()  argument
40 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, int_peer));  in z_vrfy_ivshmem_int_peer()
42 	return z_impl_ivshmem_int_peer(dev, peer_id, vector);  in z_vrfy_ivshmem_int_peer()
46 static inline int z_vrfy_ivshmem_register_handler(const struct device *dev,  in z_vrfy_ivshmem_register_handler()  argument
50 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, register_handler));  in z_vrfy_ivshmem_register_handler()
53 	return z_impl_ivshmem_register_handler(dev, signal, vector);  in z_vrfy_ivshmem_register_handler()
59 static inline size_t z_vrfy_ivshmem_get_rw_mem_section(const struct device *dev,  in z_vrfy_ivshmem_get_rw_mem_section()  argument
62 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_rw_mem_section));  in z_vrfy_ivshmem_get_rw_mem_section()
65 	return z_impl_ivshmem_get_rw_mem_section(dev, memmap);  in z_vrfy_ivshmem_get_rw_mem_section()
69 static inline size_t z_vrfy_ivshmem_get_output_mem_section(const struct device *dev,  in z_vrfy_ivshmem_get_output_mem_section()  argument
73 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_output_mem_section));  in z_vrfy_ivshmem_get_output_mem_section()
76 	return z_impl_ivshmem_get_output_mem_section(dev, peer_id, memmap);  in z_vrfy_ivshmem_get_output_mem_section()
80 static inline uint32_t z_vrfy_ivshmem_get_state(const struct device *dev,  in z_vrfy_ivshmem_get_state()  argument
83 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_state));  in z_vrfy_ivshmem_get_state()
85 	return z_impl_ivshmem_get_state(dev, peer_id);  in z_vrfy_ivshmem_get_state()
89 static inline int z_vrfy_ivshmem_set_state(const struct device *dev,  in z_vrfy_ivshmem_set_state()  argument
92 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, set_state));  in z_vrfy_ivshmem_set_state()
94 	return z_impl_ivshmem_set_state(dev, state);  in z_vrfy_ivshmem_set_state()
98 static inline uint32_t z_vrfy_ivshmem_get_max_peers(const struct device *dev)  in z_vrfy_ivshmem_get_max_peers()  argument
100 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_max_peers));  in z_vrfy_ivshmem_get_max_peers()
102 	return z_impl_ivshmem_get_max_peers(dev);  in z_vrfy_ivshmem_get_max_peers()
106 static inline uint16_t z_vrfy_ivshmem_get_protocol(const struct device *dev)  in z_vrfy_ivshmem_get_protocol()  argument
108 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, get_protocol));  in z_vrfy_ivshmem_get_protocol()
110 	return z_impl_ivshmem_get_protocol(dev);  in z_vrfy_ivshmem_get_protocol()
114 static inline int z_vrfy_ivshmem_enable_interrupts(const struct device *dev,  in z_vrfy_ivshmem_enable_interrupts()  argument
117 	K_OOPS(K_SYSCALL_DRIVER_IVSHMEM(dev, enable_interrupts));  in z_vrfy_ivshmem_enable_interrupts()
119 	return z_impl_ivshmem_enable_interrupts(dev, enable);  in z_vrfy_ivshmem_enable_interrupts()