HelenOS sources

tlb_init           68 kernel/generic/include/mm/tlb.h extern void tlb_init(void);
tlb_init          223 kernel/generic/src/main/main.c 	tlb_init();
tlb_init          323 kernel/generic/src/main/main.c 	tlb_init();