Symbol: ppc44x_tlb_boot_reserved
sys/arch/evbppc/sam460ex/machdep.c
244
ppc44x_tlb_boot_reserved(2);
sys/arch/powerpc/include/ibm4xx/tlb.h
151
void ppc44x_tlb_boot_reserved(int);