X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=system.tex;h=a1aa32fab1dfc0e55d2e7390685d60bf95b03822;hp=6410f1a2dd1241f976c6b456e5480fc983590e04;hb=cdc1b275bbd83ad0dbf1ba4be801118724a51085;hpb=2110eb3a139f7fafc2ca2e5175f15ef6128ae347

diff --git a/system.tex b/system.tex
index 6410f1a..a1aa32f 100644
--- a/system.tex
+++ b/system.tex
@@ -43,13 +43,13 @@ definizioni:
   dato che l'UTC corrisponde all'ora locale di Greenwich.  È il tempo su cui
   viene mantenuto l'orologio del calcolatore, e viene usato ad esempio per
   indicare le date di modifica dei file o quelle di avvio dei processi. Per
-  memorizzare questo tempo è stato riservato il tipo primitivo \func{time\_t}.
+  memorizzare questo tempo è stato riservato il tipo primitivo \type{time\_t}.
 \item \textit{process time}: talvolta anche detto tempo di CPU. Viene misurato
   in \textit{clock tick}, corrispondenti al numero di interruzioni effettuate
   dal timer di sistema, e che per Linux avvengono ogni centesimo di
   secondo\footnote{eccetto per la piattaforma alpha dove avvengono ogni
     millesimo di secondo}. Il dato primitivo usato per questo tempo è
-  \func{clock\_t}, inoltre la costante \macro{HZ} restituisce la frequenza di
+  \type{clock\_t}, inoltre la costante \macro{HZ} restituisce la frequenza di
   operazione del timer, e corrisponde dunque al numero di tick al secondo.  Lo
   standard POSIX definisce allo stesso modo la costante \macro{CLK\_TCK});
   questo valore può comunque essere ottenuto con \func{sysconf} (vedi
@@ -95,7 +95,7 @@ presenta una serie di problemi nel caso lo si debba usare con i thread.
 Esamineremo in questa sezione le sue caratteristiche principali.
 
 
-\subsection{La variabile \func{errno}}
+\subsection{La variabile \var{errno}}
 \label{sec:sys_errno}
 
 Quasi tutte le funzioni delle librerie del C sono in grado di individuare e