The text f214d851a3c9, as Debian 13 (Trixie) shipped it.
Mapping host and guest data
tracecmd_map_vcpus(3) on Linux now
