time_elapsed
uint32_t time_elapsed = 0;
time_elapsed += HPD_CHECK_INTERVAL;
} while (time_elapsed < timeout);
unsigned int time_elapsed();