La funzione legge il valore in un dato di tipo \type{uint64\_t}, e necessita
pertanto che le si passi un buffer di almeno 8 byte, fallendo con
-\errvl{EINVAL} in caso contrario, in sostanza la lettura deve essere
+\errval{EINVAL} in caso contrario, in sostanza la lettura deve essere
effettuata con una istruzione del tipo:
\includecodesnip{listati/readtimerfd.c}