HelenOS sources

tlb_refill        172 kernel/arch/mips32/include/arch/mm/tlb.h extern void tlb_refill(istate_t *istate);
tlb_refill        157 kernel/arch/mips32/src/mm/tlb.c 		tlb_refill(istate);
tlb_refill         76 kernel/arch/ppc32/include/arch/mm/tlb.h extern void tlb_refill(unsigned int, istate_t *);
tlb_refill        184 kernel/arch/ppc32/src/interrupt.c 	    tlb_refill);
tlb_refill        186 kernel/arch/ppc32/src/interrupt.c 	    tlb_refill);
tlb_refill        188 kernel/arch/ppc32/src/interrupt.c 	    tlb_refill);