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

/barrelfish-2018-10-04/usr/webserver/
H A Dhttp_cache.c645 struct timer *cache_timer; /* timer for triggering cache timeouts */ local
658 cache_timer = timer_create(MAX_STALENESS, true, cache_timeout_event,
660 assert (cache_timer != NULL);
661 if (cache_timer == NULL) {
665 timer_start(cache_timer);

Completed in 36 milliseconds