Symbol: NCR5380_maybe_reset_bus