/* INCLUDES ******************************************************************/
/* C Headers */
+#define DbgPrint DbgPrintEarly
#include <stdio.h>
/* WDK HAL Compilation hack */
/* IFS/DDK/NDK Headers */
#include <ntifs.h>
+#include <ioaccess.h>
#include <bugcodes.h>
#include <ntdddisk.h>
#include <arc/arc.h>
#include <kefuncs.h>
#include <intrin.h>
#include <halfuncs.h>
+#include <inbvfuncs.h>
#include <iofuncs.h>
#include <ldrtypes.h>
#include <obfuncs.h>