pfm_get_os_event_encoding(3) on Linux

The text be318f6fcdc5, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.

get event encoding for a specific operating system