#include <ddk/ntddk.h>
#include <roscfg.h>
#include <hal.h>
-#include <internal/ntoskrnl.h>
#ifdef MP
#include <mps.h>
}
else if (BootPhase == 1)
{
- HalpInitBusHandlers ();
- HalpCalibrateStallExecution ();
+ HalpInitBusHandlers();
+ HalpCalibrateStallExecution();
/* Enumerate the devices on the motherboard */
HalpStartEnumerator();