/* A pointer to the timeout function.
That is, a pointer to the function that gets
executed every poll_frequency milliseconds. */
/* A pointer to the timeout function.
That is, a pointer to the function that gets
executed every poll_frequency milliseconds. */