#ifndef _VMSSS_H_INCLUDED_
#define _VMSSS_H_INCLUDED_

/* PSDK/NDK Headers */
#include <stdio.h>
#include <windows.h>

#define NTOS_MODE_USER
#include <ndk/ntndk.h>

#include <csr/server.h>

#endif /* ndef _VMSSS_H_INCLUDED_ */