HelenOS sources

tlbmiss            41 kernel/arch/ppc32/src/mm/tlb.c 	uint32_t tlbmiss;
tlbmiss            49 kernel/arch/ppc32/src/mm/tlb.c 	    : [tlbmiss] "=r" (tlbmiss),
tlbmiss            54 kernel/arch/ppc32/src/mm/tlb.c 	uint32_t badvaddr = tlbmiss & 0xfffffffc;