Linux kernel dcache