The text 1fe650f5b902, as Debian 10 (Buster) shipped it.
Hardware Performance Monitoring Counter support
hwpmc(4freebsd) on Linux now
