Symbol: print_bat
sys/arch/powerpc/powerpc/db_interface.c
463
print_bat(&ibat[i]);
sys/arch/powerpc/powerpc/db_interface.c
465
print_bat(&dbat[i]);