The text 512b3e7979a2, as Debian 6.0 (Squeeze) shipped it.
unmap a previously mapped pipe buffer
generic_pipe_buf_unmap(9) on Linux now
