1 #ifndef __INCLUDE_NTOS_HALFUNCS_H
2 #define __INCLUDE_NTOS_HALFUNCS_H
4 #include <ntos/haltypes.h>
7 HalAllProcessorsStarted(VOID
);
10 HalBeginSystemInterrupt(ULONG Vector
,
15 HalDisableSystemInterrupt(ULONG Vector
,
19 HalEnableSystemInterrupt(ULONG Vector
,
24 HalEndSystemInterrupt(KIRQL Irql
,
28 HalInitializeProcessor(ULONG ProcessorNumber
,
29 PVOID ProcessorStack
);
32 HalInitSystem(ULONG BootPhase
,
33 PLOADER_PARAMETER_BLOCK LoaderBlock
);
36 HalReportResourceUsage(VOID
);
40 IoAssignDriveLetters(IN PLOADER_PARAMETER_BLOCK LoaderBlock
,
41 IN PSTRING NtDeviceName
,
42 OUT PUCHAR NtSystemPath
,
43 OUT PSTRING NtSystemPathString
);
47 KeRaiseIrqlToSynchLevel(VOID
);
50 HalReturnToFirmware(ULONG Action
);
52 /* Non-standard functions */
54 HalReleaseDisplayOwnership();
57 HalQueryDisplayOwnership();
59 #endif /* __INCLUDE_NTOS_HALDDK_H */