CPU2BIG          722 src/http.c           html_tdt(out, CPU2BIG(t->cpu_user+t->cpu_system), "right");
CPU2BIG          723 src/http.c           html_tdt(out, CPU2BIG(t->cpu_user), "right");
CPU2BIG          724 src/http.c           html_tdt(out, CPU2BIG(t->cpu_system), "right");