HelenOS sources

tlb_refill         95 kernel/arch/mips32/src/mm/tlb.c void tlb_refill(istate_t *istate)
tlb_refill         39 kernel/arch/ppc32/src/mm/tlb.c void tlb_refill(unsigned int n, istate_t *istate)
HelenOS homepage, sources at GitHub