__ppc_get_timebase(3) on Linux

The text 13d01866244e, as Debian 13 (Trixie) shipped it.

get the current value of the Time Base Register on Power architecture and its frequency.