DOKK / manpages / debian 12 / systemtap-doc / function::fp32_to_fp64.3stap.en
FUNCTION::FP32_TO_FP(3stap) Floating point processing Taps FUNCTION::FP32_TO_FP(3stap)

function::fp32_to_fp64 - Convert fp32 to 64 bit floating point


fp32_to_fp64:long(input:long)

input

a long integer

Convert from 32 bit floating point to a 64 bit softfloat floating point.

tapset::floatingpoint(3stap)

November 2022 SystemTap Tapset Reference