function::kernel_pointer(3stap) on Linux

The text f02f4a0e2dc4, as Debian 7 (Wheezy) shipped it.

Retrieves a pointer value stored in kernel memory

function::kernel_pointer(3stap) on Linux now