The text cef040f092f6, as Debian 8 (Jessie) shipped it.
initialize machine-dependent fields of a VM page
pmap_page_init(9freebsd) on Linux now
