3 * LICENSE: GPL - See COPYING.ARM in the top level directory
4 * FILE: hal/halx86/amd64/stubs.c
9 /* INCLUDES *******************************************************************/
15 /* GLOBALS ********************************************************************/
17 LARGE_INTEGER HalpPerformanceFrequency
;
20 /* FUNCTIONS ******************************************************************/
24 HalClearSoftwareInterrupt(
32 HalRequestSoftwareInterrupt(
40 HalBeginSystemInterrupt(
51 HalEnableSystemInterrupt(
54 IN KINTERRUPT_MODE InterruptMode
)
62 HalDisableSystemInterrupt(
71 HalEndSystemInterrupt(
73 IN PKTRAP_FRAME TrapFrame
)
80 KeQueryPerformanceCounter(
81 OUT PLARGE_INTEGER PerformanceFrequency OPTIONAL
)
85 // ASSERT(HalpPerformanceFrequency.QuadPart != 0);
87 /* Does the caller want the frequency? */
88 if (PerformanceFrequency
)
91 *PerformanceFrequency
= HalpPerformanceFrequency
;
94 Result
.QuadPart
= __rdtsc();