/* header auto-generated by pidl */

#include <stdint.h>

#include <core/ntstatus.h>

#ifndef _HEADER_server_id
#define _HEADER_server_id

struct server_id {
	uint64_t id;
	uint32_t id2;
	uint32_t node;
}/* [public] */;

#endif /* _HEADER_server_id */
