#include <mach/std_types.defs>
#include <mach/mach_types.defs>

subsystem notify_ipc 78945668;
serverprefix _;

import <sys/types.h>;

import "notify_ipc_types.h";

type inline_data_t = array [ * : 2048 ] of char;

type notify_name    = ^ array [] of MACH_MSG_TYPE_BYTE
	ctype : caddr_t;

routine _notify_server_post
(
	server : mach_port_t;
	name : notify_name;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_register_plain
(
	server : mach_port_t;
	name : notify_name;
	task : task_t;
	out client_id : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_register_check
(
	server : mach_port_t;
	name : notify_name;
	task : task_t;
	out size : int;
	out slot : int;
	out client_id : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_register_signal
(
	server : mach_port_t;
	name : notify_name;
	task : task_t;
	sig: int;
	out client_id : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_register_file_descriptor
(
	server : mach_port_t;
	name : notify_name;
	task : task_t;
	path : notify_name;
	ntoken : int;
	out client_id : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_register_mach_port
(
	server : mach_port_t;
	name : notify_name;
	task : task_t;
	port : mach_port_move_send_t;
	ntoken : int;
	out client_id : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_set_owner
(
	server : mach_port_t;
	name : notify_name;
	user : int;
	group : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_get_owner
(
	server : mach_port_t;
	name : notify_name;
	out user : int;
	out group : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_set_access
(
	server : mach_port_t;
	name : notify_name;
	mode : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_get_access
(
	server : mach_port_t;
	name : notify_name;
	out mode : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_release_name
(
	server : mach_port_t;
	name : notify_name;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_cancel
(
	server : mach_port_t;
	client_id : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_check
(
	server : mach_port_t;
	client_id : int;
	out check : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_get_state
(
	server : mach_port_t;
	client_id : int;
	out state : uint64_t;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_set_state
(
	server : mach_port_t;
	client_id : int;
	state : uint64_t;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_get_val
(
	server : mach_port_t;
	client_id : int;
	out val : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_set_val
(
	server : mach_port_t;
	client_id : int;
	val : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_monitor_file
(
	server : mach_port_t;
	client_id : int;
	path : notify_name;
	flags : int;
	out status : int;
	SecToken token : security_token_t
);

routine _notify_server_get_event
(
	server : mach_port_t;
	client_id : int;
	out event_type : int;
	out name : inline_data_t;
	out status : int;
	SecToken token : security_token_t
);