PS_get_buffer(3) on Linux

The text d2b80c27e6d1, as Debian 4.0 (Etch) shipped it.

PS_get_buffer(3) on Linux now