PAPI_hl_region_end(3) on Linux

The text 83d5f73f627c, as Debian 12 (Bookworm) shipped it.

Read performance events at the end of a region and store the difference to the corresponding beginning of the region.