#ifndef _NT_IPC_H_
#define _NT_IPC_H_

#include <psxtypes/psxtypes.h>
#include "nt_object.h"

typedef int32_t __stdcall	ntapi_ipc_create_pipe(
	__out		void **		hpipe_read,
	__out		void **		hpipe_write,
	__in		uint32_t	advisory_buffer_size	__optional);

#endif