#define _AMD64_

#include "ntdef.h"
#include "wdm.h"
#include "wsk.h"