Searched refs:total_loading_time (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/webserver/
H A Dhttp_cache.c579 uint64_t total_loading_time = rdtsc() - last_ts; local
581 in_seconds(total_loading_time), total_loading_time);
602 in_seconds(total_loading_time), total_loading_time);

Completed in 31 milliseconds