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