CPU2BIG          714 src/http.c     	    html_tdt(out, CPU2BIG(t->cpu_user+t->cpu_system), "right");
CPU2BIG          715 src/http.c     	    html_tdt(out, CPU2BIG(t->cpu_user), "right");
CPU2BIG          716 src/http.c     	    html_tdt(out, CPU2BIG(t->cpu_system), "right");