#ifndef _NT_UUID_H_

#define _NT_UUID_H_

#include "nt_abi.h"

#include "nt_object.h"

typedef int32_t __stdcall ntapi_zw_allocate_locally_unique_id(

	__out	nt_luid *	luid);

/* insufficient for version 4 uuid's */

typedef int32_t __stdcall ntapi_zw_allocate_uuids(

	__out	nt_large_integer *	uuid_last_time_allocated,

	__out	uint32_t *		uuid_delta_time,

	__out	uint32_t *		uuid_sequence_number,

	__out	unsigned char *		uuid_seed);

typedef int32_t __stdcall ntapi_zw_set_uuid_seed(

	__in	unsigned char *		uuid_seed);

#endif