clIcdGetPlatformIDsKHR(3clc) on Linux

The text f7cd3a7c5f2b, as Debian 10 (Buster) shipped it.

Obtain the list of platforms accessible through the Khronos ICD Loader.