HelenOS sources

tlb_print          83 kernel/generic/include/mm/tlb.h extern void tlb_print(void);
tlb_print        1150 kernel/generic/src/console/cmd.c 	tlb_print();