Two audio device drivers

[John Wright <john_(_at_)_dryfish_(_dot_)_org>]

If you have:

sb0 at isa0 port 0x220/24 irq 5 drq 1: dsp v3.01
midi0 at sb0: <SB MIDI UART>
audio0 at sb0
opl0 at sb0: model OPL3
midi1 at opl0: <SB Yamaha OPL3>
wss0 at isa0 port 0x530/8 irq 10 drq 0: CS4231 or AD1845 (vers 4)
audio1 at wss0
pcppi0 at isa0 port 0x61
midi2 at pcppi0: <PC speaker>

Which driver (wss or sb) are /dev/audio and /dev/sound going to use?  And
can I say which it should use with something like audioctl?

BFN, John.