#include <stddef.h>
#include <stdarg.h>
#include <stdio.h>
#define INITGUID
#include <ntddk.h>
#include <ntddser.h>
#include <ntddmodm.h>
#include <wmilib.h>
#include "mdm.h"
#include "mdmlog.h"