snd_pcm_playback_empty(9) on Linux

The text b8d92f78a915, as Debian 9 (Stretch) shipped it. The page shows this text now.

check whether the playback buffer is empty