DCACHE_SIZE
#define DC_MAX_HDRS (1 << LOG2(DCACHE_SIZE/6))
static head_t dc_head = cache_head(dc_head, cmp_dcache, dc_t, DCACHE_SIZE);