PAPIF_get_virt_cyc(3) on Linux

The text 8809016e8f2d, as Debian 13 (Trixie) shipped it. The page shows this text now.

Get virtual time counter value in clock cycles.

PAPIF_get_virt_cyc(3) on Linux now