boot/freeldr/freeldr/include/ntoskrnl.h

   1 #include <ntdef.h>
   2 #undef _NTHAL_
   3 #undef DECLSPEC_IMPORT
   4 #define DECLSPEC_IMPORT
   5 #undef NTSYSAPI
   6 #define NTSYSAPI
   7
   8 #include <wdm.h>
   9
  10 typedef GUID UUID;
  11
  12 /* Windows Device Driver Kit */
  13 #include <winddk.h>
  14 #include <ndk/haltypes.h>
  15
  16 /* Disk stuff */
  17 typedef PVOID PLOADER_PARAMETER_BLOCK;
  18 #include <ntdddisk.h>
  19 #include <internal/hal.h>