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 */