HelenOS sources

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