23 IN UINT32 AcpiTicksDuration,
25 OUT UINT32 *AcpiTicksDelta,
26 OUT UINT64 *TscTicksDelta
31 UINT32 AcpiCurrentDelta;
46 if (AcpiTick0 <= AcpiTick1) {
50 AcpiCurrentDelta = AcpiTick1 - AcpiTick0;
51 }
else if (AcpiTick0 - AcpiTick1 <= 0x00FFFFFF) {
55 AcpiCurrentDelta = 0x00FFFFFF - AcpiTick0 + AcpiTick1;
60 AcpiCurrentDelta = MAX_UINT32 - AcpiTick0 + AcpiTick1;
66 }
while (AcpiCurrentDelta < AcpiTicksDuration);
75 *TscTicksDelta = Tsc1 - Tsc0;
76 *AcpiTicksDelta = AcpiCurrentDelta;