Function read_timer

src/utils/timer.c:77–80

}

void read_timer(int fd) {
    uint64_t t;
    read(fd, &t, sizeof(uint64_t));
}