HelenOS sources

tlb_arch_init      82 kernel/generic/include/mm/tlb.h extern void tlb_arch_init(void);
tlb_arch_init      57 kernel/generic/src/mm/tlb.c 	tlb_arch_init();