[HEADERS]
[reactos.git] / reactos / 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 /* Windows Device Driver Kit */
9 #include <ntddk.h>
10 #include <ndk/haltypes.h>
11
12 //typedef GUID UUID;
13
14 /* Disk stuff */
15 typedef PVOID PLOADER_PARAMETER_BLOCK;
16 #include <ntdddisk.h>
17 #include <internal/hal.h>