/*
 * Copyright (C) 2012-2018, Samsung Electronics Co., Ltd.
 *
 * Inter-world socket driver
 */

#pragma once

#include <core/limits.h>

#define SOL_IWD			1

#define SO_IWD_MAX_MSG_SIZE	1

struct sockaddr_iw {
	int siw_family;
	char siw_path[FILE_NAME_LEN];
};

#ifdef __KERNEL__

#include <core/socket.h>

int iwd_socket_create(struct socket *socket, int type,
		int protocol, unsigned int is_kern);
int iwd_socket_connect_events_from_nwd(unsigned long num_pages);
int iwd_socket_connect_iw_op(unsigned long num_pages);
void iwd_socket_check_events(void);
int iwd_socket_init(void);

#endif /* __KERNEL__ */