PAPI_set_multiplex(3) on Linux

The text e695f40d561f, as Debian 8 (Jessie) shipped it.

Convert a standard event set to a multiplexed event set.

PAPI_set_multiplex(3) on Linux now