dspgvx(3) on Linux

The text 830d98b28535, as Debian 8 (Jessie) shipped it.

dspgvx(3) on Linux now