ACPI_100NSEC_PER_SEC
return (((UINT64) time.tv_sec * ACPI_100NSEC_PER_SEC) +
(UINT64) (AcpiGbl_MaxLoopIterations * ACPI_100NSEC_PER_SEC);