sf_buf_alloc(9freebsd) on Linux

The text db189ad02edc, as Debian 9 (Stretch) shipped it.

manage temporary kernel address space mapping for memory pages

sf_buf_alloc(9freebsd) on Linux now