(pHalInitPnpDriver)NULL,
(pHalInitPowerManagement)NULL,
(pHalGetDmaAdapter) NULL,
- (pHalGetInterruptTranslator)NULL,
+ xHalGetInterruptTranslator,
(pHalStartMirroring)NULL,
(pHalEndMirroring)NULL,
(pHalMirrorPhysicalMemory)NULL,
- (pHalEndOfBoot)NULL,
+ xHalEndOfBoot,
(pHalMirrorVerify)NULL
};
(pHalHandlerForConfigSpace)NULL,
(pHalLocateHiberRanges)NULL,
(pHalRegisterBusHandler)NULL,
- (pHalSetWakeEnable)NULL,
+ xHalSetWakeEnable,
(pHalSetWakeAlarm)NULL,
(pHalTranslateBusAddress)NULL,
(pHalAssignSlotResources)NULL,
/* Halt execution */
while (TRUE);
}
+
+VOID
+NTAPI
+xHalEndOfBoot(VOID)
+{
+ /* Nothing */
+ return;
+}
+
+VOID
+NTAPI
+xHalSetWakeEnable(IN BOOLEAN Enable)
+{
+ /* Nothing */
+ return;
+}