5 #ifndef __INTERNAL_HAL_HAL_H
6 #define __INTERNAL_HAL_HAL_H
8 //#include <ddk/service.h>
9 //#include <internal/ntoskrnl.h>
12 * FUNCTION: Probes for a BIOS32 extension
14 VOID Hal_bios32_probe(VOID);
17 * FUNCTION: Determines if a a bios32 service is present
19 BOOLEAN Hal_bios32_is_service_present(ULONG service);
21 VOID HalInitializeDisplay (PLOADER_PARAMETER_BLOCK LoaderBlock);
22 VOID HalResetDisplay (VOID);
24 VOID HalpInitBusHandlers (VOID);
27 VOID HalpInitPICs(VOID);
30 VOID HalpCalibrateStallExecution(VOID);
33 VOID HalpInitPciBus (VOID);
36 VOID HalpStartEnumerator (VOID);
38 struct _ADAPTER_OBJECT {
50 HalpQuerySystemInformation(IN HAL_QUERY_INFORMATION_CLASS InformationClass,
53 OUT PULONG ReturnedLength);
56 #endif /* __INTERNAL_HAL_HAL_H */