The text b1973c089cf7, as Debian 4.0 (Etch) shipped it.
map user address into bio
bio_map_user(9) on Linux now
