original_kernel/arch/cris/arch-v32/mm
..
Makefile
init.c
intmem.c
l2cache.c
mmu.S
tlb.c