The text ec32fc6ac7c6, as FreeBSD 4.0-RELEASE shipped it.
kernel memory interface
kvm(3) on FreeBSD now