Symbol: ppc44x_tlb_reserve_ts0
sys/arch/evbppc/sam460ex/machdep.c
250
ppc44x_tlb_reserve_ts0(pa);
sys/arch/powerpc/include/ibm4xx/tlb.h
149
void ppc44x_tlb_reserve_ts0(paddr_t);