Man pages matching name function::ipmib_filter_key in section 3stap:

function::ipmib_filter_key.3stap.en	debian 10 / systemtap-doc
function::ipmib_filter_key.3stap.en	debian 11 / systemtap-doc
function::ipmib_filter_key.3stap.en	debian 12 / systemtap-doc