The text d16f7b9cd015, as Debian 11 (Bullseye) shipped it.
Xen PV Channels
xen-pv-channel(7) on Linux now
