__ppc_get_timebase(3) on Linux

The text bc77ab08eaab, as Debian 11 (Bullseye) shipped it.

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