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");