if (PR_IntervalToMilliseconds(timeout) > MAX_PAUSE_TIMEOUT_MS) timeout = PR_MillisecondsToInterval(MAX_PAUSE_TIMEOUT_MS);
void _MD_PauseCPU(PRIntervalTime timeout){    if (timeout != PR_INTERVAL_NO_WAIT)    {        WaitOnIdleSemaphore(timeout);        (void) _MD_IOInterrupt();    }}