848 			    void *optval, socklen_t *optlen)  in z_impl_zsock_getsockopt()  argument
854 	ret = VTABLE_CALL(getsockopt, sock, level, optname, optval, optlen);  in z_impl_zsock_getsockopt()
857 				       optval, *optlen, ret < 0 ? -errno : ret);  in z_impl_zsock_getsockopt()
863 			    void *optval, socklen_t *optlen)  in z_vrfy_zsock_getsockopt()  argument
869 	if (K_SYSCALL_MEMORY_WRITE(optval, kernel_optlen)) {  in z_vrfy_zsock_getsockopt()
874 	kernel_optval = k_usermode_alloc_from_copy((const void *)optval,  in z_vrfy_zsock_getsockopt()
881 	K_OOPS(k_usermode_to_copy((void *)optval, kernel_optval, kernel_optlen));  in z_vrfy_zsock_getsockopt()
893 			    const void *optval, socklen_t optlen)  in z_impl_zsock_setsockopt()  argument
898 					level, optname, optval, optlen);  in z_impl_zsock_setsockopt()
900 	ret = VTABLE_CALL(setsockopt, sock, level, optname, optval, optlen);  in z_impl_zsock_setsockopt()
909 			    const void *optval, socklen_t optlen)  in z_vrfy_zsock_setsockopt()  argument
914 	kernel_optval = k_usermode_alloc_from_copy((const void *)optval, optlen);  in z_vrfy_zsock_setsockopt()