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

function::fp32_to_fp64.3stap.en

debian 12 / systemtap-doc