Function TimeDiff

rEFIt_UEFI/entry_scan/common.cpp:498–501

input - tsc output - milliseconds the caller is responsible for t1 > t0

// output - milliseconds
// the caller is responsible for t1 > t0
UINT64 TimeDiff(UINT64 t0, UINT64 t1)
{
  return DivU64x64Remainder((t1 - t0), DivU64x32(gCPUStructure.TSCFrequency, 1000), 0);
}