Symbol: searchBank
sys/arch/hpc/stand/hpcboot/memory.cpp
303
paddr = searchBank(i);
sys/arch/hpc/stand/hpcboot/memory.h
185
paddr_t searchBank(int banknum);