The text 80d0cb8f2c79, as Debian 4.0 (Etch) shipped it.
map virtual addresses to physical
virt_to_phys(9) on Linux now
