HelenOS sources

LO_PFN2ADDR       307 kernel/arch/mips32/src/mm/tlb.c 		    lo0.g, lo0.v, lo0.d, lo0.c, LO_PFN2ADDR(lo0.pfn));
LO_PFN2ADDR       309 kernel/arch/mips32/src/mm/tlb.c 		    lo1.g, lo1.v, lo1.d, lo1.c, LO_PFN2ADDR(lo1.pfn));