Symbol: DBG_INFPRINT
sys/arch/atari/dev/ncr5380.c
1006
DBG_INFPRINT(show_phase, reqp, phase);
sys/arch/mac68k/dev/ncr5380.c
983
DBG_INFPRINT(show_phase, reqp, phase);