os/kernel/OS.h

46 typedef int32 port_id;
122 	port_id		port;
130 extern port_id		create_port(int32 capacity, const char *name);
131 extern port_id		find_port(const char *name);
132 extern ssize_t		read_port(port_id port, int32 *code, void *buffer,
134 extern ssize_t		read_port_etc(port_id port, int32 *code, void *buffer,
136 extern status_t		write_port(port_id port, int32 code, const void *buffer,
138 extern status_t		write_port_etc(port_id port, int32 code, const void *buffer,
140 extern status_t		close_port(port_id port);
141 extern status_t		delete_port(port_id port);
143 extern ssize_t		port_buffer_size(port_id port);
144 extern ssize_t		port_buffer_size_etc(port_id port, uint32 flags,
146 extern ssize_t		port_count(port_id port);
147 extern status_t		set_port_owner(port_id port, team_id team);
150 extern status_t		_get_port_info(port_id port, port_info *portInfo,
172 extern status_t		_get_port_message_info_etc(port_id port,
245 	port_id			debugger_nub_port;