10 void __cdecl
TscCalibrationISR(void);
11 extern LARGE_INTEGER HalpCpuClockFrequency
;
12 VOID NTAPI
HalpInitializeTsc(void);
15 #define KiGetIdtEntry(Pcr, Vector) &((Pcr)->IdtBase[Vector])
17 #define KiGetIdtEntry(Pcr, Vector) &((Pcr)->IDT[Vector])