Ho utilizzato la funzione gettimeofday, tuttavia, non riesco a capire cosa vuol dire tv_sec. Millesecondi per quell'istanza di tempo?